Non coherent fault tree analysis · Study