Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols