d- ciplines that share interests in modelling and analysis of timed systems. In this