https://123dok.org/document/6zkojjpy-extending-nuxmv-timed-transition-systems-timed-temporal-properties.html