Advanced lectures on software engineering : LASER Summer School 2007/2008. (Berlín Springer, 2010)