Trajano, R., 		Melo, C., & 		Dantas, J.
2025 dez  3.  Availability Model and Evaluation of Bus Rapid Transit Surveillance System. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :