Mishkat al-Masabih 4 Prayer كتاب الصلاة 690

وَعَنْ أَبِي سَعِيدٍ قَالَ: قَالَ رَسُولُ اللَّهِ صَلَّى اللَّهُ عَلَيْهِ وَسلم: «من نَام عَن الْوِتْرِ أَوْ نَسِيَهُ فَلْيُصَلِّ إِذَا ذَكَرَ أَوْ إِذا اسْتَيْقَظَ» . رَوَاهُ التِّرْمِذِيّ أَبُو دَاوُد وَابْن مَاجَه

Abu Sa’id reported God’s Messenger as saying, “If anyone over-sleeps and misses the witr , or forgets it, he should pray when he remembers and when he awakes.” Tirmidhi, Abu Dawud and Ibn Majah transmitted it.