An Instrumentation-Based Approach to Controller Model Validation
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
Reusable Services and Semi-automatic Service Composition for Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Modeling with the Timing Definition Language (TDL)
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
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
A Software and System Modeling Facility for Vehicle Environment Interactions