Automated validation and verification of railway specific components and systemsSebastian KinderSold out4.3Track