EE Framework of Theories GENERIC GOAL F 1 , F 2