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 Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. 20-34 2008 MoDELS Workshops http://dx.doi.org/10.1007/978-3-642-01648-6_3 conf/models/2008w db/conf/models/models2008w.html#PorterKVNHHTS08