Copstein, Bernardo, Y 		Oliveira, Flávio.
" Automated Test Script Generation for Model-Based Testing" <em>Actas del Simposio Brasileño de Calidad de Software</em> [En línea], (6 junio 2005)