A Tool for Management of Knowledge Dispersed throughout Multiple References Topics: Model Analysis and Checking; Model Tools In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 0ICSOFT, 79-86, 2015 , Colmar, Alsace, France