Functional decomposition and failure added