Power System Modeling for Hardware-In-the-Loop Testing of A Traveling-Wave-Based Relay | IEEE Conference Publication | IEEE Xplore