@inproceedings{abk:dipes08,
  title = "Formal Correctness of an Automotive Bus Controller Implementation at Gate-Lavel",
  author = "Eyad Alkassar and Peter B\{"o}hm and Steffen Knapp",
  year = "2008",
  booktitle = "Distributed Embedded Systems: Design, Middleware and Resources - IFIP 20th World Computer Congress, TC 10 Working Conference
on Distributed and Parallel Embedded Systems (DIPES'08)",
  editor = "Kleinjohann, Bernd and Kleinjohann, Lisa and Wolf, Wayne",
  pages = "57--67",
  publisher = "Springer Science and Business Media",
  volume = "271/2008",
  doi = "10.1007/978-0-387-09661-2_6",
}