Zhongsheng, Qian, Li Xin, and Wang Xiaojin. “Modeling Distributed Real-Time Elevator System by Three Model Checkers”. International Journal of Online and Biomedical Engineering (iJOE) 14, no. 04 (April 26, 2018): pp. 94–110. Accessed August 19, 2022. https://online-journals.org/index.php/i-joe/article/view/8383.