If a participating full-time employee who is a member of the retirement system dies during periods he is receiving disability benefits, survivor benefits shall be payable to the extent provided in subsections A and B of § 51.1-162.
Va. Code § 51.1-1118