Lee2010 ThrombinActivation OneForm minimal Model MML View MML External URL BIOMD0000000363 Model types Biomodels