Krämer, B.; Luqi,; Berzins, V. "Compositional Semantics of a Real-Time Prototyping Language" pp453-477

(1993) IEEE Transactions on Software Engineering, 19(5) 1993  

Languages mentioned PSDL {1991}