Modeling of Plasma Flow Around SMART-1 Spacecraft | IEEE Journals & Magazine | IEEE Xplore