Estimation of the Voltage Stability Margin in Power Systems Under Transmission Line Contingencies Using a Convex Formulation and a Heuristic Approach | Synapse