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