Validation of the ABZ Landing Gear System Using ProB
Validation of Component and Service Federations in Automotive Software Applications
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
Towards a Component Architecture for Hard Real Time Control Applications
The Landing Gear System Case Study
The Landing Gear Case Study in Hybrid Event-B
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Software for Automotive Systems: Model-Integrated Computing
Simulink Integration of Giotto/TDL
Reusable Services and Semi-automatic Service Composition for Automotive Software
On the Fault Hypothesis for a Safety-Critical Real-Time System
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Modeling with the Timing Definition Language (TDL)
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B