@inproceedings{Alkassar_DIPES08-57, <br>AUTHOR = {Alkassar, Eyad and Böhm, Peter and Knapp, Steffen},<br>TITLE = {Formal Correctness of a Gate-Level Automotive Bus Controller Implementation},<br>YEAR = {2008},<br>PAGES = {57-68}, <br>BOOKTITLE = {6th IFIP Working Conference on   Distributed and Parallel Embedded Systems (DIPES08)}, <br>PUBLISHER = {Springer},<br>EDITOR = {Bernd Kleinjohann and Lisa Kleinjohann and Wayne Wolf},<br>EE = {http://dx.doi.org/10.1007/978-0-387-09661-2},<br>}