Compositional design of RT systems: a conceptual basis for specification of linking interfaces | IEEE Conference Publication | IEEE Xplore