Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations - Ivanovic, Dragan; Carro, Manuel; Hermenegildo, Manuel (Service-Oriented Computing - 9th International Conference, Icsoc 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, 2011)