Zhongsheng Q, Xin L, Xiaojin W. Modeling Distributed Real-time Elevator System by Three Model Checkers. Int. J. Onl. Eng. [Internet]. 2018 Apr. 26 [cited 2024 Nov. 21];14(04):pp. 94-110. Available from: https://online-journals.org/index.php/i-joe/article/view/8383