Automated validation and verification of railway specific components and systemsSebastian KinderVypredaná4,3Postrážiť