William Vidal, Rodrigo Dobler, Sérgio Cechin, Taisy Weber, and João Netto. 2014. Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação. In Anais do XV Workshop de Testes e Tolerância a Falhas, maio 05, 2014, Florianópolis/SC, Brasil. SBC, Porto Alegre, Brasil, 147-159. DOI: https://doi.org/10.5753/wtf.2014.22953.