A. Sá and R. Macêdo. "Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real", in Anais do VIII Workshop de Testes e Tolerância a Falhas, Belém/PA, 2007, pp. 43-56, doi: https://doi.org/10.5753/wtf.2007.23238.