Certification of the Reserve Component Automation System