Kozyura, V., Roth, A., Wieczorek, S., & Wei, W. (2011). Checking Consistency Between Message Choreographies And Their Implementation Models. Electronic Communications of the EASST, 35. https://doi.org/10.14279/tuj.eceasst.35.566