Mario Libro, Sebastiano Gaiardelli, Marco Panato, Stefano Spellini, Michele Lora, Franco Fummi: Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. DATE 2025: 1-7