A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR | IEEE Conference Publication | IEEE Xplore