refers to https://github.com/openETCS/SRS-Analysis/issues/18
refers to https://github.com/openETCS/modeling/issues/40
This delivery is after first developer verification.
It also adresses the Uwe's findings.
Please, look for details to the comments in "issue 40"