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