A language for software subsystem composition | IEEE Conference Publication | IEEE Xplore