subsystem decomposition