@phdthesis{bauer:phdthesis:2007,
  author =	 {Andreas Bauer},
  title =	 {Model-based runtime analysis of distributed reactive systems},
  year =	 2007,
  number =	 1,
  school =	 {Institut f\"ur Informatik, Technische Universit\"at
                  M\"unchen}
}