A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web ServicesYanhua DuBenyuan Yanget al.2015ICWS 2015