6WEBER W,TONDOK H,BACHMAYER M. Enhancing software safety by fault trees:experiences from an application to flight critical software[J].RELIABILITY ENGINEERING & SYSTEM SAFETY,2005,(01):57-70.
7GODDARD P L. Software FMEA techniques[A].Annual.Los Angeles,2000.118-123.
8ORTMEIER F,SCHELLHORN G. Formal fault tree analysispractical experiences[J].Electronic Notes in Theoretical Computer Science,2007.139-151.
9AMARI S,DILL G,HOWALD E. A new approach to solve dynamic fault trees[A].Annual.Tampa,2003.374-379.
10LEVESON N. A new accident model for engineering safer systems[J].Safety Science,2004,(04):237-270.doi:10.1016/S0925-7535(03)00047-X.
