A Consistency Check Algorithm for Component-Based Refinements of Fault Trees | IEEE Conference Publication | IEEE Xplore