Zhongsheng, Qian, Li Xin, and Wang Xiaojin. 2018. “Modeling Distributed Real-Time Elevator System by Three Model Checkers”. International Journal of Online and Biomedical Engineering (iJOE) 14 (04):pp. 94-110. https://doi.org/10.3991/ijoe.v14i04.8383.