Jörg Behrend Djones Lettnin Patrick Heckeler Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel Scalable hybrid verification for embedded software. 179-184 2011 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5763039 conf/date/2011 db/conf/date/date2011.html#BehrendLHRKR11