Automated validation and verification of railway specific components and systemsSebastian KinderÉpuisé4,3Prévenez-moi
