A concept-oriented logical framework for domain knowledge modelling and analysis in computer-based systems engineering | IEEE Conference Publication | IEEE Xplore