M. Stubbe, A. Bihain, J. Deuse, and J. C. Baader, STAG-a new unified software program for the study of the dynamic behaviour of electrical power systems, IEEE Transactions on Power Systems, vol.4, pp.1129-138, 1989.

K. R. Manandur and G. J. Berg, Economic Shift in Electric Power Generation with Line Flow Constraints, IEEE Transactions on Power Apparatus and Systems, vol.97, issue.5, pp.1618-1626, 1978.
DOI : 10.1109/TPAS.1978.354653

J. Hazra and A. K. Sinha, Congestion Management Using Multiobjective Particle Swarm Optimization, IEEE Transactions on Power Systems, vol.22, issue.4, pp.1726-1734, 2007.
DOI : 10.1109/TPWRS.2007.907532

H. Singh, S. Hao, and A. Papalexopoulos, Transmission congestion management in competitive electricity markets, IEEE Transactions on Power Systems, vol.13, issue.2, pp.672-680, 1998.
DOI : 10.1109/59.667399

D. Shirmohammadi, B. Wollenberg, and A. , Transmission dispatch and congestion management in the emerging energy market structures, IEEE Transactions on Power Systems, vol.13, issue.4, pp.1466-1474, 1998.
DOI : 10.1109/59.736292

R. S. Fang and A. K. David, Optimal dispatch under transmission contracts, IEEE Transactions on Power Systems, vol.14, issue.2, pp.732-737, 1999.
DOI : 10.1109/59.761905

E. Centeno-lopez, T. Ackermann, and L. Söder, Grid connection rules for wind power in five countries with high ambitions concerning amount of wind power in the power system, pp.6-7, 2008.

J. L. Rodriguez-amenedo, S. Arnalte, and J. C. Burgos, Automatic Generation Control of a Wind Farm with Variable Speed Wind Turbines, IEEE Transactions on Energy Conversion, vol.22, issue.5, pp.279-284, 2002.

V. Courtecuisse, J. Sprooten, B. Robyns, and J. Deuse, Experiment of a Wind Generator Participation to Frequency Control, EPE Journal, vol.18, issue.3, pp.14-24, 2008.
DOI : 10.1080/09398368.2008.11463684

P. M. Anderson and A. A. Fouad, Power System Control and Stability, 1994.

A. Fradi, S. Brignone, and B. F. Wollenberg, Calculation of energy transaction allocation factors, IEEE Transactions on Power Systems, vol.16, issue.2, pp.266-272, 2001.
DOI : 10.1109/59.918297

Q. Zhou and J. Bialek, Approximate Model of European Interconnected System as a Benchmark System to Study Effects of Cross-Border Trades, IEEE Transactions on Power Systems, vol.20, issue.2, pp.782-788, 2005.
DOI : 10.1109/TPWRS.2005.846178

A. Vergnol, J. Sprooten, B. Robyns, V. Rious, and J. Deuse, Optimal network congestion management using wind farms, CIGRE/PES Symposium " Integration of Wide-Scale Renewable Resources into the Power Delivery System, pp.29-31, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00422544

E. F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies Annals of Mathematical Studies, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

S. Devadas, H. T. Ma, and A. R. Newton, On the Verification of Sequential Machines at Differing Levels of Abstraction, IEEE Transactions on Computer-aided Design, vol.7, pp.6-713, 1988.