Rosenfeld, I., C. Pons, and G. Baum. “Improving Model-Driven Software Testing by Using Formal Languages / Melhorando O Teste De Software Controlado Por Modelo Usando Idiomas Formais”. Brazilian Journal of Development, vol. 5, no. 3, Feb. 2019, pp. 2441-57, doi:10.34117/bjdv5n3-1290.