Zhongsheng, Q.; Xin, L.; Xiaojin, W. Modeling Distributed Real-Time Elevator System by Three Model Checkers. Int. J. Onl. Eng. 2018, 14, pp. 94-110.