Nancy G. Leveson, Peter R. Harvey. Analyzing Software Safety. IEEE Trans. Software Eng., 9(5):569-579, 1983.
@article{LevesonH83, title = {Analyzing Software Safety}, author = {Nancy G. Leveson and Peter R. Harvey}, year = {1983}, researchr = {https://researchr.org/publication/LevesonH83}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {9}, number = {5}, pages = {569-579}, }