1. Anceaume, E., Défago, X., Potop-Butucaru, M., Roy, M.: A framework for proving the self-organization of dynamic systems. CoRR, abs/1011.2312 (2010)
2. Artikis, A.: A formal specification of dynamic protocols for open agent systems. CoRR, abs/1005.4815 (2010)
3. Böcker, J., Schulz, B., Knoke, T., Fröhleke, N.: Self-optimization as a framework for advanced control systems. In: Industrial Electronics Conference (IECON 2006), pp. 4671–4675. IEEE (2006)
4. Lecture Notes in Computer Science;R Bruni,2012
5. Lecture Notes in Computer Science;A Bucchiarone,2010