Tarek Melliti Céline Boutrous-Saab Sylvain Rampacek Verifying Correctness of Web Services Choreography. 306-318 2006 conf/ecows/2006 ECOWS http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.38 db/conf/ecows/ecows2006.html#MellitiBR06