A quantitative model of sleep-wake dynamics based on the physiology of the brainstem ascending arousal system Model MML phillips_2007: [View MML] External URL phillips_2007 Model types CellML