, The MathWorks Inc, 2007.

, TargetLink 1.3p2: Production Code Generator, 2007.

I. Stürmer, D. Weinberg, C. , and M. , Overview of Existing Safeguarding Techniques for Automatically Generated Code, Proc. of 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS'05), pp.1-6, 2005.

, IEC 61508: Functional Safety of Electrical /Electronic/Programmable Electronic SafetyRelated Systems, International Electrotechnical Commission, 1999.

T. Ueda and A. Ohata, Trends of Future Powertrain Development and the Evolution of Powertrain Control Systems, Proc. of 30 th Int. Congress on Transportation Electronics, pp.439-449, 2004.

, Title of Paper

P. D. Edwards, The Use of Automatic Code Generation Tools in the Development of SafetyRelated Embedded Systems, Vehicle Electronic Systems, Europ. Conference and Exhibition, 1999.

I. Stürmer, M. Conrad, H. Dörr, and P. Pepper, Systematic Testing of Model-based Code Generators, IEEE Transactions on Software Engineering, vol.33, issue.9, 2007.

M. Beine, U. Eisemann, and C. Wewetzer, Quality Assurance Aspects and Activities in Automotive Model-based Development, Automotive Safety & Security, 2006.

F. Junker and G. Glöe, Guaranteed Product Safety According to the IEC 61508 Standard, RealTime, vol.1, pp.28-29, 2003.

U. Lefarth, U. Baum, T. Beck, and T. Zurawka, ASCET-SD -Development Environment for Embedded Control Systems, Proc. of IFAC Symposium on Cumpter Aided Control System Design, 1997.

. Rtca/do-178b, Software Considerations in Airborne Systems and Equipment Certification, 1992.

M. Conrad, Using Simulink and Real-Time Workshop Embeddd Coder for Safety-critical Automotive Applications, Proc. of Dagstuhl Seminar MBEES '07, pp.41-50, 2007.

, MathWorks Automotive Advisory Board, Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow, Version 2.0, 2007.

, Daimler Model-based Development Guidelines, 2007.

, Model Engineering Solutions, 2007.

. The-mathworks-inc, Simulink Model Advisor, www.mathworks.com/products, 2007.

I. Ricardo and . Mint, , 2007.

, The Model Examiner M-XAM, www.model-engineers.com, 2008.

C. Ameluxen, E. Legros, A. Schürr, and I. Stürmer, Checking and Enforcement of Modeling Guidelines with Graph Transformations, Proc. of Application of Graph Transformations with Industrial Relevance (AGTIVE), 2007.

I. Fey and I. Stürmer, Quality Assurance Methods for Model-based Development: A Survey and Assessment. SAE World Congress, SAE Doc, 2007.