Compressed CO2 Hard Rock Drill for Mars | IEEE Conference Publication | IEEE Xplore