Modelling and analysing fault propagation in safety-related systems | IEEE Conference Publication | IEEE Xplore