Merge pull request #18 from janWelte/master

Upload Presentation Petri nets
updated documentation for model of section 3.13
Merge branch 'master' of https://github.com/openETCS/model-evaluation
Tool Workshop Presentations April 16th
SCADE presentations from Munich conference added.

Signed-off-by: UweSteinkeFromSiemens <uwe.steinke@siemens.com>
RT-tester experiments section added
clean
Automatic power up sequencer and test scenario added
SCADE generated C Code added

Signed-off-by: UweSteinkeFromSiemens <uwe.steinke@siemens.com>
replaced enumeration types with static string types (workaround for freeze bug)
uploaded meeting minutes
Added ERTMSFormalSpecs evaluation status
Update README.md
Update README.md
Rename of the file for a best organisation : prefix added
Reorganisation and rename
update
update
Preliminary work of CEA/All4tec on model structure.
The UML/SysML profile is still to be defined and validated for a complete Susbset 26 coverage.
update doc 3.13