Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project