Hybrid Systems Design Methodology. - Michal Pluska; David Sinclair (ERCIM News, 2010)