refers to https://github.com/openETCS/SRS-Analysis/issues/35
Additional correction to withdraw faulty commit