Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama. A specification language for real-time distributed systems. In 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA. pages 258-265, IEEE, 1988. [doi]
Abstract is missing.