Merge pull request #210 from jensgerlach/master

mainly work on VnV user story of Fraunhofer FOKUS
Merge pull request #211 from jensgerlach/master

work on open issues in Frama-C section
Merge pull request #212 from jensgerlach/master

improve introduction (also intro to Chapter 3)
Merge pull request #213 from jensgerlach/master

Improve sections on results and open issues
Merge pull request #214 from jensgerlach/master

internal review (in progress)
Merge pull request #215 from jensgerlach/master

internal review by Fraunhofer FOKUS
Merge pull request #216 from jensgerlach/master

integrate comments from today's WP4 telco
Merge pull request #217 from jensgerlach/master

continue internal review
Merge pull request #218 from jensgerlach/master

work on open issues
included Halsted metrics
halsted metrics included
Merge branch 'master' of github.com:jensgerlach/validation into jensgerlach-master

Conflicts:
	Reports/D4.2/D4.2.2-VV-Implementation/D4.2.2.pdf
add again
Merge branch 'jensgerlach-master'