A novel framework for supporting the design of moving block train control system schemes
Redefining rail systems verification and validation: The safety/security STAIRCASE model
Communication paradigms for high-integrity distributed systems with hard real-time requirements
Computing worst-case response times in real-time avionics applications
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Software Production Process for Safety Critical Software
Utilizing Event-B for domain engineering: a critical analysis
Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
Safe RTI systems-a proposal for a standard
The application of multiple team inspections on a safety-critical software standard
Safety critical software in traffic control systems
Formalized conceptualization for the harmonization of the legal framework in railway transportation
A methodology for analyzing avionics software safety
Reliability modeling for safety-critical software
To live or drown: when information systems become critical
Integrated toolset for high-integrity system verification and validation support (avionics)