CASE design documentation-oriented semantic analysis and component query | IEEE Conference Publication | IEEE Xplore