A. Beckler and S. Campos.
"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>, Natal/RN, 2003, pp. 53-60, doi: <a href="https://doi.org/10.5753/wtf.2003.23390">https://doi.org/10.5753/wtf.2003.23390</a>.