https://9lib.org/document/yd7k7jol-a-theory-of-timed-automata.html