Real-time language, restriction to time-bounded constructs. ["Real-Time Euclid: A Language for Reliable Real-Time Systems", E. Kligerman et al, IEEE Trans Software Eng SE-12(9):941-1986-09-949].