Ontology for computer-aided fault tree synthesis | IEEE Conference Publication | IEEE Xplore