Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models | IEEE Conference Publication | IEEE Xplore