Updated DoW
Integration of classical B assessment 1
Merge remote-tracking branch 'refs/remotes/origin/master'
Merge pull request #54 from astante/master

Assessment for Event-B and Rodin added
Added assessment assessor 2 jan welte
Integration of assessment for event B and synthesis of results
Merge pull request #57 from janWelte/master

Added assessment classical B assessor 2
Integration of assessments on classical B + synthesis of the results
Partial assessment of ERMETS Formal Spec
Update SysmlPapyrus.tex

Update comments after highlights
Merge pull request #58 from AlexandreGinisty/patch-3

Update SysmlPapyrus.tex
Integration of SysML-Papyrus corrections
ERTMSFormalSpec assessment +  synthesis
Correction of all Id of D2.6 requirements
Colors for quote
GnatProve and Petri Nets synthesis
Updated slides
Explanation of the content of the tables added at the beginning of the conclusion.
Correction of forms
correction of issue on conclusion
element of conclusion added.
End of the conclusion