Bezerra, P., 		Oliveira, M., 		Lecomte, T., & 		Pereira, D.
(2023).
 CSP Specification and Verification of a Relay-Based Railway Interlocking System.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 36-54). Porto Alegre: SBC.