Runtime Verification - häftad, Engelska, 2007