Cyber attack in a two-area power system: Impact identification using reachability | IEEE Conference Publication | IEEE Xplore