A Framework for Quantitative Modeling of Neural Circuits Involved in Sleep-to-Wake Transition | Sleep and Chronobiology