full property 5.9_02 proven (split into two invariants)
Merge branch 'master' of https://github.com/openETCS/model-evaluation
update model with safety properties
update doc 5.9 and pdf 3.13
update model 5.9