Sá, Alirio, and Raimundo José de Araújo Macêdo.
"Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real." <em>Anais do VIII Workshop de Testes e Tolerância a Falhas,
Belém/PA, 2007</em>. SBC, 2007,  
pp.43-56.