Nawal Guermouche Claude Godart Timed Model Checking Based Approach for Web Services Analysis. 213-221 2009 ICWS http://dx.doi.org/10.1109/ICWS.2009.42 conf/icws/2009 db/conf/icws/icws2009.html#GuermoucheG09