An analytical model designed as a tool to measure the effects of various operational modes and maintenance policies on ballistic-missile launch probability. The model is concerned with two elements of maintenance policy: operational mode and checkout...