A formal approach for deriving collective from individual risk in railway systems
A proposal for common safety methods for technical systems in European Railways
Combined UML-based system and test models as backbone for the development process
Efficient safety case construction and certification for electronic railway systems