Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. - Michael Marzella; Andrea Bombarda; Marcello Minervini; Nunzio Marco Bisceglia; Angelo Gargantini; Claudio Menghi (CoRR, 2025)