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://sol.sbc.org.br/journals/index.php/jserd/article/view/1094. Acesso em: 22 may. 2022.