@InProceedings{PvH04b,
  author =    "H. Pfeifer and F. von Henke",
  title =     "{Formal Modelling and Analysis of Fault Tolerance
               Properties in the Time-Triggered Architecture}",
  year =      2004,
  booktitle = "Proc. of the 5th Symposium on Formal Methods for 
               Automation and Safety in Railway and Automotive
               Systems (FORMS/FORMAT 2004)",
  editor =    "E. Schnieder and G. Tarnai",
  pages =     "230-240",
  publisher = "Technical University of Braunschweig, Institute for
	       Traffic Safety and Automation Engineering",
  month =     "November"
}