Alin Stefanescu Sebastian Wieczorek Andrei Kirshin MBT4Chor: A Model-Based Testing Approach for Service Choreographies. 313-324 2009 ECMDA-FA http://dx.doi.org/10.1007/978-3-642-02674-4_23 conf/ecmdafa/2009 db/conf/ecmdafa/ecmdafa2009.html#StefanescuWK09