https://123dok.net/document/q5m3kwrw-inductive-verification-and-validation-of-multi-agent-systems.html