@InProceedings{Alkassar:DIPES08-57,
  author =       "Eyad Alkassar and Peter B{\"o}hm and Steffen Knapp",
  title =        "Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level",
  pages =        "57--67",
  ee =           "http://dx.doi.org/10.1007/978-0-387-09661-2_6",
  year =         "2008",
  booktitle =    "6th IFIP Working Conference on Distributed and
                 Parallel Embedded Systems (DIPES 2008), September 7--10
                 2008, Milano Italy",
  editor =       "Bernd Kleinjohann and Lisa Kleinjohann and Wayne
                 Wolf",
  publisher =    "Springer",
  series =       "International Federation for Information Processing",
  volume =       "271",
}