Model Checking Web Services Choreography. - Arbia Ben Azaiez; Zohra Sbaï (EOMAS@CAiSE, 2015)