Danny Weyns, Sam Malek and Jesper Andersson
ACM Transactions on Autonomous and Adaptive Systems (ISSN 1556-4665)
This paper provides a formal model, called FOrmal Reference Model for Self-adaptation (FORMS), to reason about underlying principles of self-adaptive systems.