Lee2010 ThrombinActivation OneForm reduced Model MML View MML External URL BIOMD0000000357 Model types Biomodels