A taxonomy of model abstraction techniques | IEEE Conference Publication | IEEE Xplore