Tri-level transmission expansion planning under intentional attacks: virtual attacker approach - part I: formulation - doi 10.1049/iet-gtd.2018.6104 2019-02 Article type Journal