Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012)