Chapter 1 Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Chapter 2 Challenges in Digital Twin Development for Cyber-Physical Production Systems

Chapter 3 Subjecting Legacy Simulink Models to Timing Specifications

Chapter 4 Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)

Chapter 5 A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)

Chapter 6 Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Chapter 7 CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems

Chapter 8 Controlled Recurrence of a Biped with Torso

Chapter 9 A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

Chapter 10 Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT

Chapter 11 Computers Interacting with the Physical World: A First-Year Course

Chapter 13 MicroITS: A Scaled-Down ITS Platform

Chapter 14 Further Experiences Teaching an FPGA-Based Embedded Systems Class