One of the key models used in CBT for insomnia is the Spielman 3P model, which explains the three key factors that contribute to the development and maintenance of chronic insomnia.