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>Anais do XIV Workshop de Testes e Tolerância a Falhas,
Brasília/DF, 2013</em>. SBC, 2013,  
pp.17-30.