IEEE Std 421.5 Stabilizer Models