Blood Flow Modeling in a Healthy Carotid Artery Bifurcation: Simulations Against in Vivo Measurements | IEEE Conference Publication | IEEE Xplore