Trajano, R., 		Melo, C., & 		Dantas, J.
(2025).
 Availability Model and Evaluation of Bus Rapid Transit Surveillance System.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 141-155). Porto Alegre: SBC.