A Workflow for Automated Testing of a Safety-Critical Embedded Subsystem. - Michele Ignarra; Maria Guarino; Andrea Aiello; Vincenzo Tonziello; Giovanni De Donato; Emanuele Pascale; Renato De Guglielmo; Antonio Costa 003; Cosimo Affuso (ICSTW, 2025)