A consideration of the problem of making design decisions for time-limited checkouts of ballistic missiles. The paper develops (1) a quantitative criteria for the value of including individual checks in the checkout, (2) an expression for the require...
