author = {Temur Kutsia and Wolfgang Schreiner},
year = {2009},
conferencename = {5th International Workshop on Automated Specification and Verification of Web Systems (WWV'09)}