Sharvia, S., & Papadopoulos, Y. I. Non-coherent modelling in compositional fault tree analysis