A Mathematical Model for Design and Production Verification Planning