DYRK1A and Dravet syndrome: For instance, one of the most commonly used mouse model (Ts65Dn) overexpresses DYRK1, and therefore it may be considered an adequate model of the human DS (at least as far as DYRK1-related processes are concerned).