Authors: LEVESON NG HEIMDAHL MPE HILDRETH H REESE JD

Citation: Ng. Leveson et al., REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS, IEEE transactions on software engineering, 20(9), 1994, pp. 684-707