Spirale at the SBFT 2023 Tool Competiton - Cyber-Physical Systems Track. - Domenico De Vivo; Anna Rita Fasolino (SBFT, 2023)