Generative Model Driven Design for Agile System Design and Evolution: a Tale of Two Worlds -- Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory -- Automated Functional Safety Analysis of Automated Driving Systems -- Safety Interlocking as a Distributed Mutual Exclusion Problem -- Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL -- Formal Verification of a Programmable Hypersurface - Work in progress -- Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset -- Progress Checking for Dummies -- Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker -- Active Mining of Document Type Definitions -- Adaptive Learning for Learn-based regression testing -- Predicate Abstraction and Such... -- Compositional Verification in Action -- A Note on Refinement in Hierarchical Transition Systems -- M3C: Modal Meta Model Checking -- Wholly!: A Build System For The Modern Software Stack -- A Modeling Language for Security Threats of IoT Systems -- Revisiting bounded reachability analysis of timed automata based on MILP -- Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools -- The Quest for Optimality in Stateless Model Checking of Concurrent Programs -- The cause-effect latency problem in real-time systems.