@InProceedings{PvH04,
  author =    "Holger Pfeifer and Friedrich W. von Henke", 
  title =     "{Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture}",
  year =      2004,
  booktitle = "Proc. of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP)",
  editor =    "Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann",
  pages =     "240--253",
  series =    "Lecture Notes in Computer Science",
  volume =    3219,
  publisher = "Springer-Verlag",
  address =   "Potsdam, Germany",
  month =     sep
}