Mark Bouwman, Bob Janssen, Bas Luttik. Formal Modelling and Verification of an Interlocking Using mCRL2. In Kim Guldstrand Larsen, Tim A. C. Willemse, editors, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Volume 11687 of Lecture Notes in Computer Science, pages 22-39, Springer, 2019. [doi]
Abstract is missing.