P. Bezerra, M. Oliveira, Thierry Lecomte, and D. Pereira. 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>, dezembro 04, 2023, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 36-54.