Zhongsheng, Q., Xin, L. and Xiaojin, W. (2018) “Modeling Distributed Real-time Elevator System by Three Model Checkers”, International Journal of Online and Biomedical Engineering (iJOE), 14(04), pp. pp. 94–110. doi: 10.3991/ijoe.v14i04.8383.