Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures - Bertrand Meyer, Martin Nordio ((Lecture Notes in Computer Science))