We are happy to announce, that our tool-paper on our tool TACoS (Timed Automata-based Controller Synthesis) won the award for the best tool-paper at SEFM’21.