TSC2 and autism spectrum disorder: We studied sleep duration in three mouse models by means of home-cage monitoring: Tsc2+/− (tuberous sclerosis complex), oxytocin receptor (Oxtr) knockout (KO) (autism spectrum disorders), and Shank3 e4-9 KO (Phelan–McDermid syndrome).