Quality Assurance Methods for Model-Based Development: A Survey and Assessment
Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions
Challenges in Managing ISO 26262 Software Development Projects
Using Model and Code Reviews in Model-based Development of ECU Software