Formalbasierte Sicherheitsanalyse im Eisenbahnwesen by Roman Slovák