https://123dok.net/document/y6em61r5-formal-approach-autonomic-systems-programming-scel-language.html