Leveson, N. G. ; M. P. E. Heimdahl, H. Hildreth, and Reese, J. D. Requirements specification for process control systems. IEEE Transactions on Software Engineering, 20(9):684-707, Sept. 1994

Languages mentioned

• RSML {1991} Hardware requirements DT language