Mixed-criticality scheduling of messages in time-triggered protocols | IEEE Conference Publication | IEEE Xplore