Leo Yuhsiang Liu R. K. Shyamasundar RT-CDL: A Real Time Design Language and Its Semantics. 21-26 1989 IFIP Congress db/conf/ifip/ifip89.html#LiuS89