Adaptive Scheduling of Data Paths using Uppaal Tiga - Israa AlAttili; Fred Houben; Georgeta Igna; Steffen Michels; Feng Zhu 002; Frits W. Vaandrager (QFM, 2009)

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. - Twan Basten; Emiel van Benthum; Marc Geilen; Martijn Hendriks; Fred Houben; Georgeta Igna; Frans Reckers; Sebastian de Smet; Lou J. Somers; Egbert Teeselink (ISoLA (1), 2010)

Modeling task systems using parameterized partial orders. - Fred Houben; Georgeta Igna; Frits W. Vaandrager (Int. J. Softw. Tools Technol. Transf., 2013)