Model Checking - sidottu, Englanti, 1999