@inproceedings{IdR:FMICS05-,
AUTHOR = {In der Rieden, T. and Knapp, S.},
TITLE = {An Approach to the Pervasive Formal Specification and Verification of an Automotive System (Status Report)},
YEAR = {2005},
BOOKTITLE = {Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05)},
EE = {http://dx.doi.org/10.1145/1081180.1081195},
}