Power supply unit for an electric discharge machine | IEEE Conference Publication | IEEE Xplore