Time-Triggered Extension Layer for On-Chip Network Interfaces in Mixed-Criticality Systems | IEEE Conference Publication | IEEE Xplore