Penetration mechanics modeling & validation of blade implements into porous, brittle comet simulant | IEEE Conference Publication | IEEE Xplore