theoretical foundations of timed systems and timed formal languages as well as