Real-Time Euclid - 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-949 (Sept 1986).
Comments, Experience, Additions
Next Language: Real-Time Mentat