[ x[3] = 1 - x[1] - x[2],
  x[4] = piecewise(t - floor(t/k[11])*k[11] < k[10], 1, 0) ]