BONIFACIO, A. L.; GOMES, C. S. EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. Journal of Software Engineering Research and Development, [S. l.], v. 9, n. 1, p. 6:1 – 6:14, 2021. DOI: 10.5753/jserd.2021.1094. Disponível em: https://journals-sol.sbc.org.br/index.php/jserd/article/view/1094. Acesso em: 28 sep. 2024.