Real-time Ada demonstration. - L. Lucas; D. Dent (SIGAda, 1987)