Beckler, A., & 		Campos, S.
(2003).
Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas.
In <em>Anais do IV Workshop de Testes e Tolerância a Falhas</em>, (pp. 53-60). Porto Alegre: SBC.
doi:10.5753/wtf.2003.23390