Proposal and evaluation of a state transition model of multi-car single-shaft elevators | IEEE Conference Publication | IEEE Xplore