Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis. - Albert M. K. Cheng; Sushil S. Digewade (ICESS, 2009)