@InProceedings{InderRieden:FMICS05-115,
  author =       "Thomas {In der Rieden} and Steffen Knapp",
  title =        "An Approach to the Pervasive Formal Specification and
                 Verification of an Automotive System",
  booktitle =    "FMICS '05",
  year =         "2005",
  publisher =    "IEEE Computer Society",
  pages =        "115--124",
  ee =           "http://doi.acm.org/10.1145/1081180.1081195",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/IdR_FMICS05-.pdf",
}