PhD Értekezés. Formális módszerek alkalmazása a vasútbiztosító technikában. Sághi Balázs