Modeling interface definition language extensions | IEEE Conference Publication | IEEE Xplore