Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart. Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng., 17(3):241-258, 1991. [doi]
@article{JaffeLHM91,
title = {Software Requirements Analysis for Real-Time Process-Control Systems},
author = {Matthew S. Jaffe and Nancy G. Leveson and Mats Per Erik Heimdahl and Bonnie E. Melhart},
year = {1991},
url = {http://www.computer.org/tse/ts1991/e0241abs.htm},
tags = {control systems, analysis},
researchr = {https://researchr.org/publication/JaffeLHM91},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {17},
number = {3},
pages = {241-258},
}