Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel: Specifying and Monitoring Temporal Properties in Web Services Compositions. ECOWS 2009: 148-157