https://123dok.net/document/z3dmw1k7-are-timed-automata-updatable.html