Modeling and analysis of a CT-guided lung puncture robot | IEEE Conference Publication | IEEE Xplore