Nawal Guermouche Claude Godart Asynchronous Timed Web Service-Aware Choreography Analysis. 364-378 2009 CAiSE http://dx.doi.org/10.1007/978-3-642-02144-2_30 conf/caise/2009 db/conf/caise/caise2009.html#GuermoucheG09