Oxygen Pump and Oxygen Sensor as Extension of the Electromagnetic Levitator on International Space Station | VDE Conference Publication | IEEE Xplore