Composing partially-specified systems | IEEE Conference Publication | IEEE Xplore