Using quantum annealing to generate test cases for cyber-physical systems