FOXP3 and type 1 diabetes mellitus: Here, we provide an overview of mouse models for T1D that, in our view, appear particularly suitable to study various aspects of Foxp3+ Treg cell-mediated control of β cell autoimmunity, ranging from classical diabetes models adapted to the functional analysis of Treg cells to novel genetic tools for Treg cell depletion in NOD mice.