substrate-depletion model with synchronizer
Guy Katriel