Methodology and theoretical basis of forward genetic screening for sleep/wakefulness in mice