Kozyura, V. (2011) “Checking Consistency Between Message Choreographies And Their Implementation Models”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.566.