Bandeira, D., Weber, T., Cechin, S., Dobler, R., & Netto, J. 2013 May 6. Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :