Diego Bandeira, Taisy Weber, Sérgio Cechin, Rodrigo Dobler, and João Netto. 2013. Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508. In Anais do XIV Workshop de Testes e Tolerância a Falhas, maio 06, 2013, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 17-30. DOI: https://doi.org/10.5753/wtf.2013.23013.