Paper on the formal analysis with mCRL2 of a railway interlocking accepted at FMICS 2019 Posted on June 11, 2019June 11, 2019 by Bas Luttik The paper “Formal Modelling and Verification of an Interlocking using mCRL2” by Mark Bouwman, Bob Janssen, and Bas Luttik has been accepted for presentation at FMICS 2019 in Amsterdam, The Netherlands.