Authors: Hartonas-Garmhausen, V Campos, S Cimatti, A Clarke, E Giunchiglia, F

Citation: V. Hartonas-garmhausen et al., Verification of a safety-critical railway interlocking system with real-time constraints, SCI COMP PR, 36(1), 2000, pp. 53-64