state-variable: Crp
  zero-parameter: zero_Crp
  box-parameter: max_Crp
  threshold-parameters: t_3
  synthesis-parameters: b_p1_0, b_p2, b_p1
  degradation-parameters: g_Crp
  state-equation:
    d/dt Crp = b_p1_0 + b_p1*s-(Fis,t_21) + b_p2*s-(Fis,t_22)*s+(Crp, t_3)*s+(Sig, t_s) - g_Crp*Crp
  parameter-inequalities:
    zero_Crp < t_3 < b_p1_0 / g_Crp < ( b_p1_0 + b_p1 ) / g_Crp < ( b_p1_0 + b_p2 ) / g_Crp < ( b_p1_0 + b_p1 + b_p2 ) / g_Crp < max_Crp 

state-variable: Fis
  zero-parameter: zero_Fis
  box-parameter: max_Fis
  threshold-parameters: t_21, t_22
  synthesis-parameters: b
  degradation-parameters: g_Fis
  state-equation:
    d/dt Fis = b - g_Fis*Fis
  parameter-inequalities:
    zero_Fis < t_21 < b / g_Fis < t_22 < max_Fis 

input-variable: Sig
  zero-parameter: zero_Sig
  box-parameter: max_Sig
  threshold-parameters: t_s
  parameter-inequalities:
    zero_Sig < t_s < max_Sig