Describir: REAL-TIME PROGRAMMING WITH FAULT-TOLERANCE