Quality Prediction of Service Compositions through Probabilistic Model Checking. - Stefano Gallotti; Carlo Ghezzi; Raffaela Mirandola; Giordano Tamburrelli (QoSA, 2008)