DYRK1A and Dravet syndrome: Mouse models of DS have been used to verify the role of DYRK1A in the development of these phenotypes.