P1012/D1.2, Oct 2011 - IEEE Draft Standard for System and Software Verification and Validation | IEEE Standard | IEEE Xplore