1 Table of Contents: “... of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics...”

2 Table of Contents: “...: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing...”

3 Table of Contents: “... Falsification -- Verifying ? Models of Industrial Systems with Spin -- Stateful Dynamic Partial-Order Reduction...”

4 “... students, researchers, academics, and engineers in industry, who are interested in theory, methods...”

5 “..., and industrial engineers, who are interested in the theory and practice of methods and tools for the design...”

6 “... and industrial engineers who are interested in the theory and practice of methods and tools for the design...”