Treatment of residual insomnia after CBT for PTSD: Case studies · Study