@InProceedings{Beyer:ICCD05-317,
  author =       "Sven Beyer and Peter B{\"o}hm and Michael Gerke and
                 Mark Hillebrand and Thomas In der Rieden and Steffen
                 Knapp and Dirk Leinenbach and Wolfgang J. Paul",
  title =        "Towards the Formal Verification of Lower System Layers
                 in Automotive Systems",
  booktitle =    "ICCD '05",
  publisher =    "IEEE Computer Society",
  year =         "2005",
  pages =        "317--324",
  ee =           "http://dx.doi.org/10.1109/ICCD.2005.110",
}