Model Checking Software - nidottu, Englanti, 2003