selected publications conference paper Precise Steps for Choreography Modeling for SOA Validation and Verification 2008