Goldsack, S. J. and Finkelstein, A. C. W. "Requirements engineering for real-time systems" IEE Softw. Eng. J. 6, 3. 1991.

Languages mentioned

• MAL {1991} Modal action logic