Hernán GagliardiEventsNora Ammann - Safeguarded AI: a scalable workflow for safety-by-construction 2025-11-05