Bandeira, Diego, 		Weber, Taisy, 		Cechin, Sérgio, 		Dobler, Rodrigo, E 		Netto, João.
" Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (6 maio 2013)