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].