Copstein, Bernardo, and Flávio Oliveira.
"Automated Test Script Generation for Model-Based Testing." <em>Anais do IV Simpósio Brasileiro de Qualidade de Software,
Porto Alegre-RS, 2005</em>. SBC, 2005,  
pp.248-260.