Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems | IEEE Conference Publication | IEEE Xplore