Model Checking Software - heftet, Engelsk, 2015