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