Micromachined gas flow regulator for ion propulsion systems | IEEE Journals & Magazine | IEEE Xplore