JMC: Jitter-Based Mixed-Criticality Scheduling for Distributed Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore