The design of an intrinsically safe ground penetrating radar for detecting abandoned workings in underground coal mines | IEEE Conference Publication | IEEE Xplore