V. Kozyura, A. Roth, S. Wieczorek, and W. Wei, “Checking Consistency Between Message Choreographies And Their Implementation Models”, eceasst, vol. 35, Nov. 2011.