Bezerra, P., 		Oliveira, M., 		Lecomte, T., & 		Pereira, D.
(2023).
 CSP Specification and Verification of a Relay-Based Railway Interlocking System.
In <em>Proceedings of the 26th Brazilian Symposium on Formal Methods</em>, (pp. 36-54). Porto Alegre: SBC.