A mathematical model of blood clotting with treatment