1. Modern Compiler Implementation in C, chapter 11: Liveness Analysis;Appel,1998
2. Peter Fenelon and John A McDermid. New directions in software safety: Causal modelling as an aid to integration. Technical report, High Integrity Systems Engineering Group, Dept of Computer Science, University of York, 1992
3. An integrated toolset for software safety analysis;Fenelon;The Journal of Systems and Software,1993
4. Lars Grunske and Roland Neumann. Quality improvement by integrating non-functional properties in software architecture specification. In EASY'02: Second Workshop on Evaluating and Architecting System Dependability, pages 23–32, San Jose, California, October 2002
5. Peter A Lindsay and John A. McDermid. Derivation of safety requirements for an embedded control system. In Systems Engineering Test and Evaluation Conference, pages 83–93. Systems Engineering Society of Australia, 2002