A Process Control System Model for Interactive Image Guided Surgery | IEEE Conference Publication | IEEE Xplore