Sebastian Wieczorek Andreas Roth Alin Stefanescu Anis Charfi Precise Steps for Choreography Modeling for SOA Validation and Verification. 148-153 2008 SOSE http://dx.doi.org/10.1109/SOSE.2008.43 conf/sose/2008 db/conf/sose/sose2008.html#WieczorekRSC08