ERTMS/ETCS Signaling System, European Vital Computer (EVC) and Driver Machine Interface (DMI) Systems Safety-Critical Software Development Processes