Modeling Load Redistribution Attacks in Power Systems | Synapse