Validation of the ABZ Landing Gear System Using ProB
Validation of Component and Service Federations in Automotive Software Applications
Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976
Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
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