Analysing AWN-Specifications Using mCRL2 (Extended Abstract). - Rob J. van Glabbeek; Peter Höfner; Djurre van der Wal (IFM, 2018)

A Formalisation of SysML State Machines in mCRL2. - Mark Bouwman; Bas Luttik; Djurre van der Wal (FORTE, 2021)

Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems. - Tobias Bachmann; Djurre van der Wal; Machiel van der Bijl; Daan van der Meij; Ana Oprescu (ICST, 2022)

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. - Djurre van der Wal; Marcus Gerhold; Mariëlle Stoelinga (FMICS, 2023)

A Case in Point: Verification and Testing of a EULYNX Interface. - Mark Bouwman; Djurre van der Wal; Bas Luttik; Mariëlle Stoelinga; Arend Rensink (Formal Aspects Comput., 2023)

Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. - Djurre van der Wal; Marcus Gerhold; Mariëlle Stoelinga; Arend Rensink (Int. J. Softw. Tools Technol. Transf., 2025)