Thomas In der Rieden Dirk Leinenbach Wolfgang J. Paul Towards the Pervasive Verification of Automotive Systems. 3-4 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_3 db/conf/charme/charme2005.html#RiedenLP05