Patnaik, LM and Mall, R (1993) Specification of Real-Time Systems. In: International Journal of Software Engineering and Knowledge Engineering, 3 (2). pp. 267-285.
