refers to https://github.com/openETCS/SRS-Analysis/issues/18
Modelling completed but not module tested and not inspected
Model compiles
 - additional xscade file needs clarification