Alberto Beckler and Sérgio Campos. 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>, maio 19, 2003, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 53-60. DOI: <a href="https://doi.org/10.5753/wtf.2003.23390">https://doi.org/10.5753/wtf.2003.23390</a>.