Computer-assisted fault-tree construction using a knowledge-based approach · Study