Stability of adaptive feedback-based resource managers for systems with execution time variations.