https://5dok.org/document/lq5nodrq-human-violating-control-synthesis-metric-interval-temporal-specifications.html