Model-Based Analysis Of Nuclear Arms Control Verification Processes