_id,doi,title 7109,10.1145/3286976,From real-time logic to timed automata