Real-Time Euclid

A real-time language with a restriction to time-bounded constructs.

"Real-Time Euclid: A Language for Reliable Real-Time Systems", E. Kligerman et al, IEEE Transactions on Software Engineering SE-12(9):941-949 (Sept 1986).