https://123dok.net/document/yj7m3le2-formal-verification-service-level-agreements-distributed-monitoring.html