Eckard Böde Marc Herbstritt Holger Hermanns Sven Johr Thomas Peikenkamp Reza Pulungan Ralf Wimmer Bernd Becker Compositional Performability Evaluation for STATEMATE. 167-178 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.10 db/conf/qest/qest2006.html#BodeHHJPPWB06