Timed Automata and Timed Languages Challenges and Open Problems

The first years of research in the area of timed systems were marked by a spectacular progress, but also by many natural and important problems left behind without solutions. Some of those are really hard, some have been completely overlooked, some are known only to small groups of researchers but have never been really attacked by the community.