Howard Foster Tool Support for Safety Analysis of Service Composition and Deployment Models. 716-723 2008 ICWS http://dx.doi.org/10.1109/ICWS.2008.12 conf/icws/2008 db/conf/icws/icws2008.html#Foster08