You are asked to deal with the following problems: Figure 2. Sum (List, Res) // facts Sum ({},0) Sum ({x},x) First ({},0} First ({abw},a} Sum (L,R)= Sum (L First (L),Nb1),R= First (L)+Nb1 Sum ([2,10,3],S)? - Requirements Specification We have studied Software Process requirements specification with a Feature Model (FM), Goal Model (GM) and State Diagram (SD). You are asked to implement Figure 1 using: o FM appropriated tool o GM appropriated tool SD appropriated tool