Bandeira, Diego, Taisy S. Weber, Sérgio L. Cechin, Rodrigo Dobler, and João C. Netto.
" Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508." <em>Proceedings of the 14th Workshop on Testing and Fault Tolerance,
Brasília/DF, 2013</em>. SBC, 2013,  
pp.17-30.