A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli. An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 474-488, Springer, 1995. [doi]
Abstract is missing.