A formal approach for deriving collective from individual risk in railway systems
Principles and dynamic aspects for a rail traffic realtime rescheduling system
Overview of current status for common safety targets and common safety methods
Efficient safety case construction and certification for electronic railway systems