Ragae Ghaly Nagarajan Prabhakaran A knowledge-based approach to real-time systems. 198 1990 conf/ACMse/1990 ACM Southeast Regional Conference http://doi.acm.org/10.1145/98949.99096 db/conf/ACMse/ACMse1990.html#GhalyP90