Strategic Behavior in Liberalized Electricity Sectors: Game Theoretical Formal Modeling in Policy Analysis