Model abstraction and inclusion principle: a comparison | IEEE Journals & Magazine | IEEE Xplore