https://123dok.net/document/zx55gvoq-methodology-for-specification-and-verification-of-high-level-requirements-with-metacsl.html