7[5]Rasmussen J.Risk management in a dynamic society:a modelling problem.Safety Science,1997,27(2/3):183～213
8[6]Leveson,Nancy G.A new accident model for engineering safer systems,Safety Science,2004,42(4):237～270
9Sheng Z H,Huang T W,Du J G,et al.Study on serf-adaptive proportional control method for a class of output models[J].Discrete and Continuous Dynamical Systems,2009,(11):1-19.
10Li J,Sheng Z H.Liu H M.Multi-agent simulation for the dominant players' behavior in supply chains[J].Simulation Modelling Practice and Theory,2010,(18):850 -859.
1TRIST E L, BAMFORTH K W. Some Social and Psychological Consequences of the Long wall Method of Coal-Getting[J]. Human Relations, 1951, 4: 3-39.
2HOLLNAGEL E. Barriers and Accident Prevention[M] Hampshire: Ashgate, 2004.
3LEVESON N. A New Accident Model for Engineering Safer Systems[J]. Safety Science, 2004, 42(4): 237-270.
4WOODS D D, JOHANNESEN L J, COOK R I, SARTER N B. Behind Human Error: Cognitive Systems, Computers and Hindsight[C]. SOAR Report 94\-01, Wright-Patterson Air Force Base, Ohio, CSERIAC, 1994.
5HOLLNAGEL E, WOODS D D. Joint Cognitive Systems: Foundations of Cognitive Systems Engineering[M]. New York: Taylor & Francis, 2005.
6RASMUSSEN J. Risk Management in a Dynamic Society: A Modeling Problem Safety [J]. Science, 1997, 27(2/3) 183-213.
7VICENTE K J, MUMAW R J, ROTH E M. Operator monitoring in a complex dynamic work environment: A qualitative cognitive model based on field observations [J]. Theoretical Issues in Ergonomics Science, 2004, 5(5): 359-384.
8LEVESON N G. Software: System Safety and Computers[M]. Reading, MA: Addison-Wesley, 1995.
9LAMSWEERDE A V. Formal Specification: A Roadmap. Proceedings of the Conference on The Future of Software Engineering [M]. Limerick, Ireland: ACM Press, 2000 147-159.
10HINCHEY M G, BOWEN, J P. Applications of Formal Methods[C]. Intemational Series in Computer Science, Herts, UK: Prentice Hall, 1995.
