Kozyura, V.; Roth, A.; Wieczorek, S.; Wei, W. Checking Consistency Between Message Choreographies And Their Implementation Models. eceasst 2011, 35.