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