Sahih Muslim · Hadith 1757
The Book of Prayer (Travellers) - كتاب صلاة المسافرين وقصرها
حدثنا يحيى بن يحيى، قال قرأت على مالك عن سعيد بن أبي سعيد المقبري، عن أبي سلمة بن عبد الرحمن، أنه سأل عائشة كيف كانت صلاة رسول الله صلى الله عليه وسلم في رمضان قالت ما كان رسول الله صلى الله عليه وسلم يزيد في رمضان ولا في غيره على إحدى عشرة ركعة يصلي أربعا فلا تسأل عن حسنهن وطولهن ثم يصلي أربعا فلا تسأل عن حسنهن وطولهن ثم يصلي ثلاثا فقالت عائشة فقلت يا رسول الله أتنام قبل أن توتر فقال " يا عائشة إن عينى تنامان ولا ينام قلبي " .
Abu Salama asked 'A'isha about the prayer of the Messenger of Allah (may peace be upon him) She said: He observed thirteen rak'ahs (in the night prayer). He observed eight rak'ahs and would then observe Witr and then observe two rak'ahs sitting, and when he wanted to bow he stood up and then bowed down, and then observed two rak'ahs in between the Adhan and lqama of the dawn prayer.
Gradings are classical jarḥ-wa-taʿdīl, name-matched to a rijāl index (not individually re-verified).