@TechReport{KNS13,
  author      = "Joost-Pieter Katoen and Thomas Noll and Thomas Santen and Dirk Seifert and Hao Wu",
  title       = "Performance Analysis of Computing Servers 
                 using Stochastic Petri Nets and Markov Automata",
  institution =	"RWTH Aachen University",
  keywords    = "Computing Services, Model-Based Analysis, 
                 Generalized Stochastic Petri Nets, Markov Automata",
  year        = "2013",
  number      = "AIB-2013-10",
  month       = AUG,
  url         = "http://aib.informatik.rwth-aachen.de/2013/2013-10.pdf"
}