Q. Zhongsheng, L. Xin, and W. Xiaojin, “Modeling Distributed Real-time Elevator System by Three Model Checkers”, Int. J. Onl. Eng., vol. 14, no. 04, pp. pp. 94–110, Apr. 2018.