Trajano, Raquel, 		Melo, Carlos, E 		Dantas, Jamilson.
" Availability Model and Evaluation of Bus Rapid Transit Surveillance System" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)