FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
Beyond objects: a software design paradigm based on process control