Formal Modeling and Scheduling of Datapaths of Digital Document Printers. - Georgeta Igna; Venkatesh Kannan; Yang Yang; Twan Basten; Marc Geilen; Frits W. Vaandrager; Marc Voorhoeve; Sebastian de Smet; Lou J. Somers (FORMATS, 2008)

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)