Stochastic feedback-based control of QoS in soft real-time systems