Effect of Carotid Angioplasty and Stenting on Duplex Velocity Measurements in a Porcine Model