_id,doi,title
12508,10.4230/LIPIcs.CONCUR.2022.14,History-deterministic timed automata