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)