Multi-Ion Hall-MHD Formulation and Highly-Coupled Numerical Implementation into Hybrid Particle-in-Cell Code | IEEE Conference Publication | IEEE Xplore