Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput., 10(4):361-380, 1998. [doi]
Abstract is missing.