Model Checking - tekstilinnbinding, Engelsk, 2018