Beckler, Alberto, AND 		Campos, Sérgio.
" Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (19 May 2003)