Towards semantics of self−adaptive software - ́Pavlovic, D (Proceedings of the Workshop on Self−Adaptive Software, 2001)