Automated design of self-adaptive software with control-theoretical formal guarantees
A control theory foundation for self-managing computing systems