R. Wimmer et al., "Compositional Performability Evaluation for STATEMATE," Quantitative Evaluation of Systems, International Conference on(QEST), Riverside, California, 2006, pp. 167-178.
doi:10.1109/QEST.2006.10
keywords:{null},
url:doi.ieeecomputersociety.org/10.1109/QEST.2006.10