@InProceedings{boede-et-al-qest-2006,
  title =     "Compositional Perfomability Evaluation for Statemate",
  author =    "Eckard B{\"o}de and Marc Herbstritt and Holger Hermanns and 
	       Sven Johr and Thomas Peikenkamp and Reza Pulungan and Ralf Wimmer and Bernd Becker",
  booktitle = "3rd International Conference on Quantitative Evaluation of Systems (QEST 2006)",
  year =      "2006",
  month =      sept,
  address =   "Riverside, CA, USA",
  publisher = "IEEE Computer Society Press",
  abstract =  "This paper reports on our efforts to link an industrial state-of-the-art
               modelling tool to academic state-of-the-art analysis algorithms. In a
               nutshell, we enable timed reachability analysis of uniform
               continuous-time Markov decision processes, which are generated from {\sc
	       Statemate} models.  We give a detailed explanation of several
	       construction, transformation, reduction, and analysis steps required to
	       make this possible.  The entire tool flow has been implemented, and it is
	       applied to a nontrivial example."
}