Djones Lettnin Markus Winterholer Axel G. Braun Joachim Gerlach Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel Coverage Driven Verification applied to Embedded Software. 159-164 2007 conf/isvlsi/2007 ISVLSI http://doi.ieeecomputersociety.org/10.1109/ISVLSI.2007.33 db/conf/isvlsi/isvlsi2007.html#LettninWBGRKR07