A formal approach to reusing more general components | IEEE Conference Publication | IEEE Xplore