I cannot recommend Sleepio enough everytime someone mentions sleep trouble. The time-in-bed restriction regimen is in my opinion particularily helpful and I revert to it occasionally when I don't sleep well a few nights in a row with good results.
Totally agree with you. It seems so counterintuitive that when you're struggling to sleep you may need less time in bed, but it really helps in the long run.