Model Checking - tekstilinnbinding, Engelsk, 1999