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