Ein kompakter Nachschlagewerk über die ersten Erkenntnisse der Sommer­schule in Bremen, das neue Ansätze zur formalen Modellierung von Cyber‑Physical Systems vorstellt und praxisnahe Fallstudien aus dem digitalen Systemdesign präsentiert.