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