Merge pull request #202 from jensgerlach/master

fix missing numbering of chapters
adding WP4 Testmodel work destribution list
Merge branch 'master' of https://github.com/openETCS/validation
adding decisions to the meeting minutes of the internal assessment
reducting workscope in testmodel workdistribution
updating work distribution
Merge pull request #203 from jensgerlach/master

describe contract and loop invariants of Bitwalker_Peek
small corrections in the meeting minutes
Merge pull request #204 from jensgerlach/master

description of ACSL contract of Bitwalker_Poke
Merge pull request #205 from jensgerlach/master

describe code annotations for Bitwalker_Poke
Merge pull request #206 from jensgerlach/master

work on section on Frama-C
detailed results ubication
changes related to issue #169
updated picture
Add Uni Bremen test modeling coverage