substrate-depletion model with synchronizer