A Mathematical Model of the Car Operation Problem in Multi-car Elevator Systems | IEEE Conference Publication | IEEE Xplore