A balloon-borne 4.75 THz-heterodyne receiver to probe atomic oxygen in the atmosphere | IEEE Conference Publication | IEEE Xplore