The PERA benefit is not contractual, but a statute.  In reality it's a gratuity and can be reduced by the legislature at any time.  Retirees would then proceed with a lawsuit, but it would probably wend its way through the court system for at least 5 years before resolution.