Rasmus Adler Ina Schaefer Tobias Schüle Eric Vecchié From Model-Based Design to Formal Verification of Adaptive Embedded Systems. 76-95 2007 conf/icfem/2007 ICFEM http://dx.doi.org/10.1007/978-3-540-76650-6_6 db/conf/icfem/icfem2007.html#AdlerSSV07