A compositional formalization of connector wrappers | IEEE Conference Publication | IEEE Xplore