Model-typed Component Interfaces | IEEE Conference Publication | IEEE Xplore