Using models and abstraction to extend and unify systems | IEEE Conference Publication | IEEE Xplore