Text this: Análisis de vulnerabilidad en sistemas eléctricos usando programación binivel