Computational Modeling And Simulation Of Thrombus Formation