@inproceedings{Alkassar_AHK-, <br>AUTHOR = {Alkassar, E. and Hillebrand, M. and Knapp, S. and Rusev, R. and Tverdyshev, S.},<br>TITLE = {Formal Device and Programming Model for a Serial Interface},<br>YEAR = {2007},<br>PAGES = {4--20}, <br>URL = {http:///publikationen/Alkassar_AHK-.pdf}, <br>BOOKTITLE = {Proceedings, 4th International Verification Workshop (VERIFY), Bremen, Germany}, <br>PUBLISHER = {CEUR-WS Workshop Proceedings},<br>EDITOR = {B. Beckert},<br>EE = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-259/},<br>}