Advanced lectures on software engineering LASER summer school 2007/2008 / - Müller, Peter, (Springer,)