Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. - Joseph Porter; Gabor Karsai; Péter Völgyesi; Harmon Nine; Peter Humke; Graham Hemingway; Ryan Thibodeaux; Janos Sztipanovits (MoDELS (Workshops), 2008)