@inproceedings{ILP05,
AUTHOR = {In der Rieden, T., and Leinenbach, D., and W. J. Paul},
TITLE = {Towards the Pervasive Verification of Automotive Systems},
VOLUME = {3725},
YEAR = {2005},
PAGES = {3-4},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {Correct Hardware Design and Verification Methods (CHARME 2005)},
PUBLISHER = {Springer},
EDITOR = {Dominique Borrione, and Wolfgang Paul},
EE = {http://dx.doi.org/10.1007/11560548_3},
}