Bonifacio, A. L., and C. S. Gomes. “EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems”. Journal of Software Engineering Research and Development, vol. 9, no. 1, Aug. 2021, pp. 6:1 - 6:14, doi:10.5753/jserd.2021.1094.