Bonifacio, Adilson Luiz, and Camila Sonoda Gomes. “EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems”. Journal of Software Engineering Research and Development 9, no. 1 (August 26, 2021): 6:1 – 6:14. Accessed July 15, 2024. https://journals-sol.sbc.org.br/index.php/jserd/article/view/1094.