Gravar-mail: Digital clocks: simple Boolean models can quantitatively describe circadian systems