Characteristics of a new abstraction model | IEEE Conference Publication | IEEE Xplore