CSP specification and verification of relay-based railway interlocking systems. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; P. E. R. Bezerra; Philippe Bon; Simon Collart Dutilleul (SAC, 2022)

CSP Specification and Verification of a Relay-Based Railway Interlocking System. - P. E. R. Bezerra; Marcel Vinícius Medeiros Oliveira; Thierry Lecomte; Dalay Israel de Almeida Pereira (SBMF, 2023)