DOI,IST REx ID,Research Group,Title of publication
10.1145/3286976,7109,ToHe,From real-time logic to timed automata