reviewed Ch.3 "formal verification..."
updated pdf after Ch.3 review
Merge pull request #19 from Jochen-Burghardt/master

reviewed Ch.3 "formal verification..."