Cyber-physical systems integrate computation, communication and physical processes, demanding rigorous methods to ensure correct and safe operation over time. Temporal logic specifications offer a ...