Safety and Functionality Assessment of Railway Applications in Terms of Software. - Peter Lüley; Mária Franeková; Marek Hudák (TST, 2012)