https://123dok.org/document/ky66prny-efficient-scalable-verification-of-ltl-specifications.html