https://123dok.net/document/dzxk67oq-let-s-be-lazy-we-have-time-or-lazy-reachability-analysis-for-timed-automata.html