Modeling and Analysis of Discharge Process in Electrical Discharge Machining of NiTi Shape Memory Alloys | IEEE Conference Publication | IEEE Xplore