Testing Cyber-Physical Systems Using a Line-Search Falsification Method - Ramezani, Zahra; Claessen, Koen; Smallbone, Nicholas; Fabian, Martin; Åkesson, Knut (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022)