Samik Basu, Tevfik Bultan: Choreography conformance via synchronizability. WWW 2011: 795-804