New simple formulations and validations for digital implementation of pilot protective relaying schemes | IEEE Conference Publication | IEEE Xplore