Model Checking for Interlocking Safety (Proceedings of the 2nd FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom, 1998)

(untitled) - Simpson, A