Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures - Meyer, Bertrand; Nordio, Martin (Springer International Publishing : Imprint: Springer, 2015)