A knowledge-based approach to real-time systems. - Ragae Ghaly; Nagarajan Prabhakaran (ACM Southeast Regional Conference, 1990)