https://5dok.net/document/8ydr14jz-trace-coverage-strategy-for-symbolic-transition-systems.html