Enhanced traceability in model-based CASE tools using ontologies and information retrieval | IEEE Conference Publication | IEEE Xplore