Safety-Critical Software Development Using Automatic Production Code Generation
Adoption of Modeling Standards as a Part of Enterprise-Wide Deployment
Using Model and Code Reviews in Model-based Development of ECU Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software