https://1library.org/document/q2erp5eq-strategy-verify-generation-concurrent-state-circus-specifications-executable.html