Fast and stable electrical discharge machining (EDM). (May 2016)