Selective leakage protection of coal mine distribution network with additional DC source | IEEE Conference Publication | IEEE Xplore