Efficient formalization of railway interlocking data in RailML. - Mark Bosschaart; Egidio Quaglietta; Bob Janssen; Rob M. P. Goverde (Inf. Syst., 2015)

Formal Modelling and Verification of an Interlocking Using mCRL2. - Mark Bouwman; Bob Janssen; Bas Luttik (FMICS, 2019)

EA-to-RDF: Pain-Free integration of RDF and UML. - Bob Janssen; Ghislain Atemezing (SEMANTiCS (Posters, Demos, Workshops & Tutorials), 2024)