Optimized hybrid verification of embedded software. - Jörg Behrend; Alexander Grünhage; Douglas Schroeder; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (LATW, 2014)