A Mathematical Model of the Car Operation Problem in Multi-car Elevator Systems. - Shunji Tanaka; Takuto Miyoshi; Daiki Hoshino (SMC, 2013)