Sizing emboli in blood using pulse Doppler ultrasound. I. Verification of the EBR model | IEEE Journals & Magazine | IEEE Xplore