translated why model checking
removed babelpackage
translate section ModelChecking
translate section modelling concurrent system
translate first paragraph of promela
Merge branch 'english'