https://123dok.net/document/q2n04xej-model-checking-formulae-timed-automata-logic-based-approach.html