@book{KrauseGiese2012,
  author    = {Christian Krause and Holger Giese},
  title     = {Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata},
  isbn      = {978-3-86956-171-4},
  year      = {2012},
}