Bezerra, P., 		Oliveira, M., 		Lecomte, Thierry, AND 		Pereira, D..
" CSP Specification and Verification of a Relay-Based Railway Interlocking System" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2023)