Search-Based Test Case Generation for Cyber-Physical Systems