Bruce Blair et al, ‘One Hundred Nuclear Wars: Stable Deterrence between the United States and Russia at Reduced Nuclear Force Levels Off Alert in the Presence of Limited Missile Defenses Technical Appendix.’