(RT-CDL) A real-time language for the design of reliable reactive systems.

["RT-CDL: A Real-Time Description Language and Its Semantics", L.Y. Lin et al, 11th World Computer Congress IFIP '89 pp.19-26 Sep 1989].