Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures / - Börger, E.; Cisternino, Antonio. (Springer,)