H. Silva, G. Mattiello, A. Endo, É. Souza, and S. Souza. " Evaluating the Impact of Different Testers on Model-based Testing", in Anais do III Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, São Carlos/SP, 2018, pp. 57–66.