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

In addition suitable contents:
[ 2 ] [ ag ] [ al ] [ an ] [ ar ] [ b ] [ bo ] [ bounded ] [ cl ] [ co ] [ con ] [ cons ] [ de ] [ E ] [ ed ] [ er ] [ es ] [ et ] [ Euclid ] [ fo ] [ for ] [ ge ] [ gu ] [ id ] [ IE ] [ IEEE ] [ io ] [ K ] [ la ] [ language ] [ li ] [ ma ] [ man ] [ ms ] [ ng ] [ ns ] [ re ] [ restriction ] [ ru ] [ S ] [ SE ] [ st ] [ strict ] [ struct ] [ T ] [ to ] [ tr ] [ tw ] [ ua ]