Trajano, Raquel, Carlos Melo, and Jamilson Dantas.
" Availability Model and Evaluation of Bus Rapid Transit Surveillance System." <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais,
Recife/PE, 2025</em>. SBC, 2025,  
pp.141-155.