Uncertainty in Self-Adaptive Software Systems
FORMS: a formal reference model for self-adaptation