FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
FORMS: a formal reference model for self-adaptation