Beckler, Alberto, E 		Campos, Sérgio.
" Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (19 maio 2003)