SAE/TP 2011-01-2530 (PDF) Verification and Validation of Complex Systems whitebackgroundstudio 5 years ago