model-checker : update Changelog
model-checker : update NEWS file
model-checker : typo in NEWS file