1012-2024 - IEEE Standard for System, Software, and Hardware Verification and Validation (IEEE,)