Boualem Benatallah Fabio Casati Julien Ponge Farouk Toumani Compatibility and replaceability analysis for timed web service protocols. 2005 conf/bda/2005 BDA db/conf/bda/bda2005.html#BenatallahCPT05