The research activities of the Cyber-Physical systems group focus on producing accurate models of software that can be analysed in the early stages of software development, with particular focus on the interface between the physical and digital world. Such software models can be used to show feasibility of planned software systems, explore design alternatives and verify specified properties of software systems. Software models are particularly useful in critical domains where human life or large amounts of money are at stake.