A Miniature Inductively Coupled Plasma Source for Ion Thrusters | IEEE Journals & Magazine | IEEE Xplore