On the Turbulence Modeling of Blood Flow in a Stenotic Vessel - Lui, Mattia; Martino, Savino; Salerno, Mario; Quadrio, Maurizio (Journal of biomechanical engineering, 2020)