https://123dok.net/document/wq2lve6z-design-of-telecommunication-services-based-on-software-agent-technology-and-formal-methods.html