Highway patrol officer scheduling using an optimization-based scheduling model | IEEE Conference Publication | IEEE Xplore