Multiple PRM-Based Lockstep/Performance Mode Switches for Critical/Non-Critical Real-Time Tasks | IEEE Conference Publication | IEEE Xplore