An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage. (3rd February 2022)