Challenges with Software Verification and Validation Activities in the Space Industry