Plasma density measurement using a frequency sweeping short antenna | IEEE Journals & Magazine | IEEE Xplore