Merge pull request #26 from srieger/master

Added contribution about timed verification (Sct. 5)
Merge pull request #25 closed from vprevosto/master
Merge pull request #33 close from ChristopheGaston/master
Uni bremen Model based testing added #19
Document information updated
Added 'Verification with model-based simulation' to Sec.5.3 of the V&VPlan
Merge pull request #38 from alexn84/vvplan

Added 'Verification with model-based simulation' to Sec.5.3 of the V&VPl...
Added planned activities to Sct. 6, minor corrections to Sct. 5 contribution
Merge pull request #39 from srieger/master

Added planned activities to Sct. 6, minor corrections to Sct. 5 contribution
Uni Bremen chap 5.3 part refine
SQS contribution to section 6.1
Added subsections to Chapter 6.1
doc info adapted
Chap6 Uni Bremen contribution first version #21
Chap6 Uni Bremen contribution first version #21
Refine Uni Bremen Chap6 Contribution #21
Restructuring latest additions (SQS)
Resolved merge conflicts (Cecile-Hardi)
Resolved merge conflicts (Cecile-Hardi)
minor