Fault tree analysis: concepts and techniques