All defined benefit pensions -- whether set by union contract or not -- use these kind of formulas. But the high pensions are not the product of the formula alone -- even if you work long enough at one of the formulas to get near (or over) 100%, you still aren't going to get 200-300K per year pension unless you have a last/highest/(average of last three)/etc. years salary (which ever is the base for the particular formula you have) high enough to push the pension that high.

Surprisingly enough, almost no rank-and-file workers have that kind of salary. The people with 200K and higher pensions are mostly people that are retiring from executive positions.