https://123dok.net/document/q5m375ry-simulation-under-arbitrary-temporal-logic-constraints.html