include comments of @srieger
update pdf file with changes
Merge pull request #179 from mgudemann/master

PR for Review of D4.2.1 (TWT) -  B/Event-B model - issue #171