Lightning discharges in variable-pressure carbon dioxide | IEEE Conference Publication | IEEE Xplore