Cyber-physical systems combine electronics, software and mechanics. They are highly complex, and in addition to many application possibilities, raises a whole range of issues. They are dependent on error-free software, and the issue of proven quality assurance thus becomes increasingly urgent. Using the example of autonomous vehicles, a team from TU Graz’s Institute of Software…