Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on