@InProceedings{PvH01,
  author =    "Holger Pfeifer and Friedrich W. von Henke",
  title =     "{Formal Analysis for Dependability Properties: 
               the Time-Triggered Architecture Example}", 
  year =      2001,
  booktitle = "8th IEEE International Conference on 
               Emerging Technologies and Factory Automation (ETFA 2001)",
  editor =    "",
  pages =     "434--352",
  publisher = "IEEE",
  address =   "Antibes Juan-les-Pins",
  month =     "October"
}