@InProceedings{Knapp:MOD07-239,
  author =       "Steffen Knapp and Wolfgang Paul",
  title =        "Pervasive Verification of Distributed Real-Time
                 Systems",
  booktitle =    "Software System Reliability and Security",
  editor =       "Manfred Broy and Johannes Gr{\"u}nbauer and Tony
                 Hoare",
  year =         "2007",
  pages =        "239--297",
  series =       "IOS Press, NATO Security Through Science Series.
                 Sub-Series D: Information and Communication Security",
  volume =       "9",
  URL =          "http://www-wjp.cs.uni-sb.de/lehre/russland/Automotive/ws0607/tmp/KP_MOD_06.pdf",
}