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