Safety analysis tools for requirements specifications
1997 ◽
Vol 5
(3)
◽
pp. 418-430
◽