Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis | IEEE Conference Publication | IEEE Xplore