Demonstration of a Safety Analysis on a Complex System
Nancy G. Leveson, Liliana Alfaro, Christine Alvarado, Molly E. Brown, Earl B. Hunt, Matt Jaffe, Susan L. Joslyn, Denise Pinnell, Jon Damon Reese, Jeffrey Samarziya, A. Shaw, Z. Zabinsky · 1997
this paper. Interested readers will find the final project report (containing many more details) at URL: http://www.cs.washington.edu/projects/safety/www/dfw. The assessment contained the following components: