Beckler, A., & 		Campos, S.
2003 mai 19.  Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :