Timed Modelling and Analysis in Web Service Compositions