https://123dok.net/document/yr36jl98-automatic-partitions-extraction-distribute-runtime-verification-global-specification.html