Model abstraction techniques: an intuitive overview | IEEE Conference Publication | IEEE Xplore