LTSA-PCA: Tool Support for Compositional Reliability Analysis - Rodrigues, P; Lupu, EC; Kramer, JK (ACM, 2014)