J. L. Jansens, “Pulmonary Vein Isolation by Robotic-Enhanced Thoracoscopy for Symptomatic Paroxysmal Atrial Fibrillation”, HSF, vol. 7, no. 6, pp. E595-E598, Jan. 2005.