Zhongsheng, Q. et al. 2018. Modeling Distributed Real-time Elevator System by Three Model Checkers. International Journal of Online and Biomedical Engineering (iJOE). 14, 04 (Apr. 2018), pp. 94–110. DOI:https://doi.org/10.3991/ijoe.v14i04.8383.