Verification and Validation of Modern Software-Intensive Systems