Relaxation Based Modeling of GMD Induced Cascading Failures in PowerModelsGMD.jl | IEEE Conference Publication | IEEE Xplore