Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)