Power Grid Security Analysis: An Optimization Approach. by Abhinav Verma