Stochastic modeling and analysis of power systems with intermittent energy sources