Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer. Compositional Reliability Analysis for Probabilistic Component Automata. In 7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. pages 19-24, IEEE, 2015. [doi]
Abstract is missing.