@inproceedings{Beyer:ICCD05-317,
  title = "Towards the Formal Verification of Lower System Layers in Automotive Systems",
  author = "Sven Beyer and Peter B{\"o}hm and Michael Gerke and Mark Hillebrand and In der Rieden, Thomas and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul",
  year = "2005",
  booktitle = "23rd International Conference on Computer Design (ICCD '05)",
  pages = "317--324",
  publisher = "IEEE Computer Society",
}