Model Checking Data-Aware Workflow Properties with CTL-FO+. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Boubker Ghandour (EDOC, 2007)

Extending Model Checking to Data-Aware Temporal Properties of Web Services. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Jérôme Tremblay; Boubker Ghandour (WS-FM, 2007)