@BOOK{MeyerNordio2011:LASER, title = {Empirical Software Engineering and Verification: LASER Summer School 2008-2010}, publisher = {Springer}, year = {2012}, editor = {Bertrand Meyer and Martin Nordio}, volume = {7007}, }