Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Verification of Scheme Plans Using CSP||B
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Solid State Interlocking Programs
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Modeling with the Timing Definition Language (TDL)
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Reusable Services and Semi-automatic Service Composition for Automotive Software
Generating Sound and Resource-Aware Code from Hybrid Systems Models
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Software and System Modeling Facility for Vehicle Environment Interactions
An Instrumentation-Based Approach to Controller Model Validation
2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems
2007-01-1624 A Three-Pillar Framework for Model-Based Engine Control System Development
2007-01-1777 An Engine Start/Stop System for Improved Fuel Economy