Return to Article Details Model Checking Techniques applied to the design of Web Services Download Download PDF