Shaoying Liu;John A. McDermid
-;-
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering