Julien Ponge Boualem Benatallah Fabio Casati Farouk Toumani Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. 599-614 2007 conf/er/2007 ER http://dx.doi.org/10.1007/978-3-540-75563-0_40 db/conf/er/er2007.html#PongeBCT07