A deterministic IP model for optimizing bus scheduling in a private transportation system | IEEE Conference Publication | IEEE Xplore