The N-K Problem in Power Grids: New Models, Formulations and Numerical Experiments (extended version) - Daniel Bienstock; Abhinav Verma (2009)