Ontology-Based Requirements Generation for Credibility Validation of Safety-Critical System | IEEE Conference Publication | IEEE Xplore