Leo Yuhsiang Liu, R. K. Shyamasundar. An operational semantics of real time design language RT-CDL. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 75-82, ACM, 1989. [doi]
Abstract is missing.