Validation of a SIL3 middleware for safety-related system-on-chips | IEEE Conference Publication | IEEE Xplore