Rogério de Lemos, Amer Saeed, Tom Anderson. Analyzing Safety Requirements for Process-Control Systems. IEEE Software, 12(3):42-53, 1995. [doi]
@article{LemosSA95,
title = {Analyzing Safety Requirements for Process-Control Systems},
author = {Rogério de Lemos and Amer Saeed and Tom Anderson},
year = {1995},
url = {http://www.computer.org:80/software/so1995/s3042abs.htm},
tags = {control systems},
researchr = {https://researchr.org/publication/LemosSA95},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {12},
number = {3},
pages = {42-53},
}