Source : Free On-Line Dictionary of Computing

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-1986-09-949].