@BOOK{MeyerNordio2012:LASER, title = {Tools for Practical Software Verification: LASER Summer School 2011}, publisher = {Springer}, year = {2012}, editor = {Bertrand Meyer and Martin Nordio}, volume = {7682}, springer = {http://www.springer.com/computer/swe/book/978-3-642-35745-9} }