Here's a list of induction techniques. You are describing DILD (Dream Induced Lucid Dream). A DILD is recognizing some clue within the dream, that the dreamer is asleep. Hope it helps