Real-Time Euclid: A Language for Reliable Real-Time Systems. - Eugene Kligerman; Alexander D. Stoyenko (IEEE Trans. Software Eng., 1986)