Sylvain Hallé Roger Villemaire Omar Cherkaoui Jérôme Tremblay Boubker Ghandour Extending Model Checking to Data-Aware Temporal Properties of Web Services. 31-45 2007 WS-FM http://dx.doi.org/10.1007/978-3-540-79230-7_3 conf/wsfm/2007 db/conf/wsfm/wsfm2007.html#HalleVCTG07