P. Bezerra, M. Oliveira, T. Lecomte, and D. Pereira.
" CSP Specification and Verification of a Relay-Based Railway Interlocking System", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 36-54.