Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. - Giovanni Dipoppa; Giovanni D'Alessandro; Roberto Semprini; Enrico Tronci (HASE, 2001)