https://5dok.org/document/4zpn720y-verifying-transformations-timed-automata-specifications-eca-rules.html