Bezerra, P., M. V. M. Oliveira, Thierry Lecomte, & D. I. de Almeida Pereira.
" CSP Specification and Verification of a Relay-Based Railway Interlocking System." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): 36-54. Web. 17 mai. 2024