A Software Engineering Framework for Electronic Engine Controllers
A Successful Approach to Reducing Software Life-Cycle Costs
2009-01-0269 Fixed-Point ECU Code Optimization and Verification with Model-Based Design
2005-01-1280 Model Style Guidelines for Production Code Generation
Production Code Generation for Safety-Critical Systems
Verification, Validation, and Test with Model-Based Design
Safety-Critical Software Development Using Automatic Production Code Generation
Automatic code generation - technology adoption lessons learned from commercial vehicle case studies
Safety-critical software development using automatic production code generation