Jaffe, M. S., Leveson, N. G., Heimdahl, M. P. E., And Melhart, B. E. Software requirements analysis for real-time process control systems. IEEE Trans. Softw. Eng. SE-17, 3 (Mar 1991), pp241–258.

Languages mentioned

• RSML {1991} Hardware requirements DT language