https://123dok.net/document/yj7m5d3m-symbolic-test-generation-for-reactive-systems-with-data.html