System Functional Decomposition