work PerFlex Project Performant and Flexible digital Systems through Verifiable AI D-RODS Project A Digital Twin Framework for Dynamic and Robust Distributed Systems TSS-INSID Project In-Silico Driving Assurance for Safe Autonomous Vehicles fun