team is sponsoring a number ofresearch activities related to assured component
assembly, in particularthe automated component composition for developing
reliable systems project, which aims to define methods for automatically
calculating the composite behavior of components of a system.