A. A participating full-time employee receiving disability benefits who is a vested member of the retirement system shall be eligible for service retirement under any provision of this title for which the employee is otherwise eligible. Such employee shall be authorized to elect any option for the payment of his retirement allowance provided under subsection A of § 51.1-165 for which the employee is otherwise eligible.
B. The average final compensation of any participating full-time employee taking a service retirement under any provision of this title shall be equal to his creditable compensation on the date of the commencement of the disability increased by an amount recommended by the program actuary and approved by the Board, from the date of the commencement of the disability to the date of retirement.
C. The creditable service of a participating full-time employee taking service retirement pursuant to this section shall include periods during which the employee received disability benefits.