Slvano Dal Zilio assesment
Merge pull request #51 from mgudemann/master

Assessor2 for GNATprove / SPARK 2014 and GOPRR
Add evaluation for Event-B (assessor 1)
Integration of Goppr evaluation
Merge remote-tracking branch 'refs/remotes/origin/master'
SystemC refinement
Integration of systemC synthesis
Merge remote-tracking branch 'refs/remotes/origin/master'

Conflicts:
	T7.1/O7.1.3_O7.1.7/SystemC.tex
Correction on SystemC  section due to merge conflict
Conclusion updated with data of systemC
Updated presentation
Answered to reviewers' comments (SystemC)
Merge pull request #52 from srieger/master

Answered to reviewers' comments (SystemC)
Partial Assessment of SysMLPapyrus
Merge remote-tracking branch 'refs/remotes/origin/master'

Conflicts:
	T7.1/O7.1.3_O7.1.7/Evaluation_against_WP2.pdf
Integration of systemC, sysmlPapyrus
[O7.1.3_O7.1.7] Add SCADE evaluation by Assessor1
Added assessment by TWT (SysML/RTTester)
Merge branch 'scade-eval'
Updated PDF