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>Proceedings of the 4th Workshop on Testing and Fault Tolerance,
Natal/RN, 2003</em>. SBC, 2003,  
pp.53-60.