Analyzing Object Models with Theory of Innovative Solution | IEEE Conference Publication | IEEE Xplore