Bandeira, Diego, 		Weber, Taisy, 		Cechin, Sérgio, 		Dobler, Rodrigo, AND 		Netto, João.
" Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (6 May 2013)