UNIVERSITY OF OSLO Department of Informatics TTSS’11—5th Intl. Workshop on Harnessing Theories for Tool Support in Software Research Report No. 409 Marcel Kyas, Sun Meng, and Volker Stolz I SBN 82-7368-371-0 I SSN 0806-30360806 September 2011