The paper ‘RobTL: Robustness Temporal Logic for CPS’, by Valentina Castiglioni, Michele Loreti and Simone Tini , recently accepted for presentation at CONCUR (September 2024, Calgary, Canada) is now available, see LIPIcs, volume 311 [doi]