1. Aldrich. W.: Coverage Analysis for Model-Based Design Tools. TCS 200l.
2. Begic, G.: Otecking Mode1ing Standards Implementation. The MathWorks News & Notes, June 2007.
3. IEC Certification Kit (for ISO 26262 and IEC 61508).
www.mathworks.com/products/iec-61508
.
4. Conrad, M., Fey, 1.: Testing Automotive Control Software.ln: Navet N., SimonotLion, F. (Eds): Automotive Embedded Systems Handbook, CRC Press, 2009.
5. Conrad, M.: Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Proc. Workshop Automotive Software Engineering: Forschung, Lehre, lndustrielle Praxis, co-Iocated with Software Engineering 2008, Munich. February 2008.