https://123dok.net/document/y8gp6470-verifying-monitoring-models-observer-automata-transformation-free-approach.html