Zhongsheng, Qian, et al. “Modeling Distributed Real-Time Elevator System by Three Model Checkers”. International Journal of Online and Biomedical Engineering (iJOE), vol. 14, no. 04, Apr. 2018, pp. pp. 94-110, doi:10.3991/ijoe.v14i04.8383.