Archer, Heitmeyer, 1997. Verifying hybrid systems modeled as timed automata: A case study, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/bfb0014724