Finite-State Analysis of the CAN Bus Protocol. - Michiel van Osch; Scott A. Smolka (HASE, 2001)

Automated Model-Based Testing of X Simulation Models with TorX. - Michiel van Osch (QoSA/SOQUA, 2005)

Hybrid Input-Output Conformance and Test Generation. - Michiel van Osch (FATES/RV, 2006)

A Component Framework where Port Compatibility Implies Weak Termination. - Debjyoti Bera; Kees M. van Hee; Michiel van Osch; Jan Martijn E. M. van der Werf (PNSE, 2011)

Sensor Fusion of Odometer, Compass and Beacon Distance for Mobile Robots. - Rufus Fraanje; René Beltman; Fidelis Theinert; Michiel van Osch; Teade Punter; John Bolte (Int. J. Artif. Intell. Mach. Learn., 2020)