Trajano, R., 		Melo, C., & 		Dantas, J.
(2025).
 Availability Model and Evaluation of Bus Rapid Transit Surveillance System.
In <em>Proceedings of the 28th Brazilian Symposium on Formal Methods</em>, (pp. 141-155). Porto Alegre: SBC.