Dynamic QoS Management and Optimization in Service-Based Systems
It Usually Works: The Temporal Logic of Stochastic Systems