@phdthesis{pfeifer03:phd,
   author =  {Holger Pfeifer},
   title =   "{Formal Analysis of Fault-Tolerant Algorithms in the
               Time-Triggered Architecture}",
   school =  {Universit{\"{a}}t Ulm},
   address = {Germany},
   year =    2003,
   url = {http://www.informatik.uni-ulm.de/ki/Papers/pfeifer03-diss.pdf}}