@inproceedings{MP11,
AUTHOR = {Christian Müller and Wolfgang Paul},
TITLE = {Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus},
YEAR = {2011},
BOOKTITLE = {Conference on Computer Aided Verification (CAV 2011)},
PUBLISHER = {LNCS},
}