Integrated Safety Analysis of Requirements Specifications. - Francesmary Modugno; Nancy G. Leveson; Jon Damon Reese; Kurt Partridge; Sean D. Sandys (Requir. Eng., 1997)