Fired but still entitled to a pension? What the law says about dismissed state officials