System Verification - inbunden, Engelska, 2007