Compositional Reliability Analysis for Probabilistic Component Automata - Lupu, EC; Rodrigues, P; Kramer, J (Association for Computing Machinery/IEEE, 2015)