Conference paperA Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services
Conference paperPattern-based model checking for dynamic analysis of workflow processes with temporal constraints