Formal design of a model repository based on knowledge representation using graphs | IEEE Conference Publication | IEEE Xplore