Vidal, William, Rodrigo Dobler, Sérgio Cechin, Taisy Weber, and João Netto.
"Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação." <em>Anais do XV Workshop de Testes e Tolerância a Falhas,
Florianópolis/SC, 2014</em>. SBC, 2014,  
pp.147-159.