Using VDM + + in the Development of a Large Industrial Application
Use of Decision Analysis in Risk Management
UML-based Specification of a Railway Interlocking and Signalling System
Twenty-Five Years of Formal Methods and Railways: What Next?
Transition Methodology from Specifications to a Network of ECUs Exemplarily with ASCET-SD and VCC
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer