https://123dok.net/document/dzxl7o4z-tutorial-formal-methods-distributed-cooperative-systems.html