PRKG1 KO mice are used as a mouse model of sleep disorders [60]. This evidence concerns the gene PRKG1 and sleep disorder.