Raylı Araç ve Sinyalizasyon Sistemleri, Emniyet-Kritik Yazılım Geliştirme Süreçleri