Bezerra, P., 		Oliveira, M., 		Lecomte, T., & 		Pereira, D.
2023 dez  4.  CSP Specification and Verification of a Relay-Based Railway Interlocking System. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :