Experiences with ADS-33 Helicopter Specification Testing and Contributions to Refinement Research.