Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Mathijs Schuts; Feng Zhu 002; Faranak Heidarian; Frits W. Vaandrager (QFM, 2009)

Experiences with a Compositional Model Checker in the Healthcare Domain. - Jozef Hooman; Robert Huis in 't Veld; Mathijs Schuts (FHIES, 2011)

Incorporating Formal Techniques into Industrial Practice: an Experience Report. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jacco H. Wesselius (FESCA, 2012)

Experiences with incorporating formal techniques into industrial practice. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman (Empir. Softw. Eng., 2014)

Using Domain Specific Languages to improve the development of a power control unit. - Mathijs Schuts; Jozef Hooman (FedCSIS, 2015)

Formalizing the Concept Phase of Product Development. - Mathijs Schuts; Jozef Hooman (FM, 2015)

Industrial Application of Domain Specific Languages Combined with Formal Techniques. - Mathijs Schuts; Jozef Hooman (RWDSL@CGO, 2016)

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. - Mathijs Schuts; Jozef Hooman; Frits W. Vaandrager (IFM, 2016)

Improving maintenance by creating a DSL for configuring a fieldbus. - Mathijs Schuts; Jozef Hooman (DSM@SPLASH, 2016)

Evaluating the effect of a lightweight formal technique in industry. - Ammar Osaiweran; Mathijs Schuts; Jozef Hooman; Jan Friso Groote; Bart J. van Rijnsoever (Int. J. Softw. Tools Technol. Transf., 2016)

Runtime Monitoring Based on Interface Specifications. - Ivan Kurtev; Jozef Hooman; Mathijs Schuts (ModelEd, TestEd, TrustEd, 2017)

Integrating Interface Modeling and Analysis in an Industrial Setting. - Ivan Kurtev; Mathijs Schuts; Jozef Hooman; Dirk-Jan Swagerman (MODELSWARD, 2017)

Industrial Experience with the Migration of Legacy Models using a DSL. - Mathijs Schuts; Jozef Hooman; Paul Tielemans (RWDSL@CGO, 2018)

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. - Mathijs Schuts; Jozef Hooman; Ivan Kurtev; Dirk-Jan Swagerman (FedCSIS, 2018)

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. - Arjan J. Mooij; Jeroen Ketema; Steven Klusener; Mathijs Schuts (SANER, 2020)

Industrial experiences with the evolution of a DSL. - Mathijs Schuts; Marco Alonso; Jozef Hooman (DSM@SPLASH, 2021)

Reverse engineering models of software interfaces. - Debjyoti Bera; Mathijs Schuts; Jozef Hooman; Ivan Kurtev (Comput. Sci. Inf. Syst., 2021)

From MSL to Dezyne: an Industrial Application Of QVTo. - Leo van Schooten; Marco Alonso; Ronald Wiericx; Mathijs Schuts (FedCSIS (Communication Papers), 2022)

Large-scale semi-automated migration of legacy C/C++ test code. - Mathijs T. W. Schuts; Rodin T. A. Aarssen; Paul M. Tielemans; Jurgen J. Vinju (Softw. Pract. Exp., 2022)

Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. - Mathijs Schuts; Jozef Hooman (Onward!, 2023)

Combining Static and Dynamic Techniques for Refactoring Industrial FSMs in C++. - Mathijs Schuts; Jozef Hooman; Marco Alonso (BENEVOL, 2024)

Using a Textual DSL With Live Graphical Feedback to Improve the CPS' Design Workflow of Hardware Engineers. - Twan Bolwerk; Marco Alonso; Mathijs Schuts (FedCSIS, 2024)

Model based component development and analysis with ComMA. - Ivan Kurtev; Jozef Hooman; Mathijs Schuts; Daan van der Munnik (Sci. Comput. Program., 2024)

Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting. - Mathijs Schuts; Jozef Hooman; Ivan Kurtev; Issam B. S. Tlili; Erik Oerlemans (J. Object Technol., 2025)