https://123dok.net/document/q5mp3g73-using-gdt-formal-support-engineering-multi-agents-systems.html