Zhongsheng, Q., Xin, L., & Xiaojin, W. (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