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>Proceedings of the 15th Workshop on Testing and Fault Tolerance,
Florianópolis/SC, 2014</em>. SBC, 2014,  
pp.147-159.