Bandeira, D., Weber, T., Cechin, S., Dobler, R., & Netto, J. 2013 mai 6. Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :