Djones Lettnin Pradeep Kumar Nalla Jörg Behrend Jürgen Ruf Joachim Gerlach Thomas Kropf Wolfgang Rosenstiel Volker Schönknecht Stephan Reitemeyer Semiformal verification of temporal properties in automotive hardware dependent software. 1214-1217 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090847&count=326&index=233 conf/date/2009 db/conf/date/date2009.html#LettninNBRGKRSR09