https://123dok.net/document/zwv97nxg-framework-verification-parameterized-infinite-state-systems.html