@InProceedings{InderRieden:CHARME05-3,
  author =       "Thomas {In der Rieden} and Dirk Leinenbach and Wolfgang Paul",
  title =        "Towards the Pervasive Verification of Automotive Systems",
  booktitle =    "Proceedings of the 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2005)",
  series =       "Lecture Notes in Computer Science",
  volume =       "3725",
  publisher =    "Springer",
  editor =       "Dominique Borrione and Wolfgang Paul",
  year =         "2005",
  pages =        "3--4",
  ee =           "http://dx.doi.org/10.1007/11560548_3",
}