I. Rosenfeld, 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”, Braz. J. Develop., vol. 5, no. 3, pp. 2441–2457, Feb. 2019.