1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation | IEEE Standard | IEEE Xplore