https://123dok.net/document/qvlmmj7r-polynomial-interrupt-timed-automata.html