Integrating automatic verification of safety requirements in railway interlocking system design”, The (2001)

by G Dipoppa, G D’ Alessandro, R Semprini, E Tronci
Venue:6th IEEE International Symposium on High Assurance Systems Engineering (HASE’01