// Created by libAntimony v2.13.0
model *Ratushny2012_ASSURE_II()

  // Compartments and Species:
  compartment univ;
  species P1 in univ, Target in univ;

  // Assignment Rules:
  dsp1ksp := (Ksp/2)*(1 + (s + P1*univ)/Ksp - ((1 + (s + P1*univ)/Ksp)^2 - 4*s*P1*univ/Ksp^2)^0.5);
  dsp1p2kd := (Kd/2)*(1 + (dsp1ksp + P2)/Kd - ((1 + (dsp1ksp + P2)/Kd)^2 - 4*dsp1ksp*P2/Kd^2)^0.5);

  // Reactions:
  ___r1:  => P1; ks*(k0 + (dsp1p2kd/ka)^h)/(1 + (dsp1p2kd/ka)^h);
  ___r2: P1 => ; ___r2___RATE__*P1;
  ___r3:  => Target; ks*(k0 + (dsp1p2kd/ka)^h)/(1 + (dsp1p2kd/ka)^h);
  ___r4: Target => ; ___r4___RATE__*Target;

  // Species initializations:
  P1 = 10/univ;
  Target = 10/univ;

  // Compartment initializations:
  univ = 1;

  // Variable initializations:
  Kd = 1e-05;
  Ksp = 0.001;
  P2 = 40;
  s = 1000;
  h = 2;
  k0 = 0.1;
  ka = 40;
  ks = 10;
  ku = 0.1;
  ___r2___RATE__ = 0.1;
  ___r4___RATE__ = 0.1;

  // Other declarations:
  var dsp1ksp, dsp1p2kd;
  const univ, Kd, Ksp, P2, s, h, k0, ka, ks, ku;

  // SBO terms:
  univ.sboTerm = 290
  P1.sboTerm = 252
  Target.sboTerm = 11

  // CV terms:
  univ hypernym "http://identifiers.org/go/GO:0005623"
  P1 hypernym "http://identifiers.org/go/GO:0003675"
end

Ratushny2012_ASSURE_II is "Ratushny2012_ASSURE_II"

Ratushny2012_ASSURE_II model_entity_is "http://identifiers.org/biomodels.db/MODEL1203010002"
Ratushny2012_ASSURE_II model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000421"
Ratushny2012_ASSURE_II description "http://identifiers.org/pubmed/22531117"
Ratushny2012_ASSURE_II hypernym "http://identifiers.org/go/GO:0006355"
Ratushny2012_ASSURE_II taxon "http://identifiers.org/taxonomy/4932"
