Customizable rule-based verification of requirements ontology | IEEE Conference Publication | IEEE Xplore