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