A mathematical model of a novel automated medical device for needle insertions | IEEE Conference Publication | IEEE Xplore