CSP specification and verification of relay-based railway interlocking systems.

Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul

Browse the full SAC paper archive.