Local temperature response to pulsed discharges in electronic discharge machining (EDM) environment | IEEE Journals & Magazine | IEEE Xplore