Formal Verification of Requirements using Spin: A Case Study on Web Services