Model-Based Fault Injection and Diagnostic Validation for AUTOSAR Software Components in Safety-Critical Automotive Systems | IEEE Conference Publication | IEEE Xplore