Verification : how much is enough? - Krass, Allan S. (SIPRI, 1985)