Automated validation and verification of railway specific components and systemsSebastian KinderEsaurito4,3Avvisami