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>Proceedings of the 4th Workshop on Testing and Fault Tolerance</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>.