Cechin, Sergio, Weber, Taisy, E Netto, João. " Arquitetura para injeção de falhas em protocolos de comunicação segura em aplicações críticas" Anais do Workshop de Testes e Tolerância a Falhas (WTF) [Online], (30 maio 2016)