My overarching focus is on the development of reasoning tools, syntax, and semantics for cyber-physical systems, a highly interesting class of devices that intertwines different aspects of analysis, control theory, and computer science. Cyber-physical systems are a main ingredient in the 21st century’s technology, but even so they are still remarkably difficult to design and analyse in a systematic and disciplined way.