Designing and modeling the integrated bus and driver scheduling problem | IEEE Conference Publication | IEEE Xplore