FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
Self-Managed Systems: an Architectural Challenge