Bernhard Steffen Tiziana Margaria Continuous Engineering of Embedded systems. 45-54 2006 conf/ifip10-3/2006dipes DIPES http://dx.doi.org/10.1007/978-0-387-39362-9_6 db/conf/ifip10-3/dipes2006.html#SteffenM06