ZHONGSHENG, Q.; XIN, L.; XIAOJIN, W. Modeling Distributed Real-time Elevator System by Three Model Checkers. International Journal of Online and Biomedical Engineering (iJOE), [S. l.], v. 14, n. 04, p. pp. 94–110, 2018. DOI: 10.3991/ijoe.v14i04.8383. Disponível em: https://online-journals.org/index.php/i-joe/article/view/8383. Acesso em: 12 aug. 2022.