Timed modelling and analysis in Web service compositions | IEEE Conference Publication | IEEE Xplore