A Unified Approach for Verification and Validation of Systems and Software Engineering Models