@Article{PvH06,
  author = 	 {Holger Pfeifer and Friedrich von Henke},
  title = 	 "{Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture}",
  journal = 	 {Reliability Engineering \& System Safety},
  year = 	 2007,
  volume = 	 {92},
  number = 	 {11},
  pages = 	 {1538-1550},
  note = 	 "doi:10.1016/j.ress.2006.10.006"
}