A model for quantitative evaluation of embolic stroke therapy