Formalbasierte Sicherheitsanalyse im Eisenbahnwesen door Roman Slovák