D. Bandeira, T. Weber, S. Cechin, R. Dobler, and J. Netto.
" Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508", in <em>Anais do XIV Workshop de Testes e Tolerância a Falhas</em>, Brasília/DF, 2013, pp. 17-30, doi: <a href="https://doi.org/10.5753/wtf.2013.23013">https://doi.org/10.5753/wtf.2013.23013</a>.