Automated Specification and Verification of Web Systems WWV09