Beckler, Alberto, and Sérgio Vale Aguiar Campos.
"Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas." <em>Anais do IV Workshop de Testes e Tolerância a Falhas,
Natal/RN, 2003</em>. SBC, 2003,  
pp.53-60.