Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems | IEEE Conference Publication | IEEE Xplore