Bezerra, P., 		Oliveira, M., 		Lecomte, Thierry, E 		Pereira, D..
" CSP Specification and Verification of a Relay-Based Railway Interlocking System" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)