Discrete dynamic event tree modeling and analysis of nuclear power plant crews for safety assessment. - Davide Mercurio (2011)