Towards Verification of Model Transformations Via Goal-Directed Certification
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Software for Automotive Systems: Model-Integrated Computing
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control