D. Silva and P. Machado.
" Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos", in Anais do VII Workshop de Testes e Tolerância a Falhas, Curitiba/PR, 2006, pp. 13-24, doi: https://doi.org/10.5753/wtf.2006.23348.