Advances in software engineering Lipari summer school 2007, Lipari Island, Italy, July 8-21, 2007. Revised tutorial lectures - B©œrger, Egon; Cisternino, Antonio (Lecture Notes in Computer Science, 2008)