1 “...Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone...”

2 Table of Contents: “...Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded...”

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

4 Table of Contents: “... in Software Design from Railway and Aircraft Industries -- Generalised Substitution Language and Differentials...”

5 Table of Contents: “... -- Formal Methods for Industrial Products -- An Execution Architecture for GSL -- A Computation Model for Z...”

6 Table of Contents: “... of industrial formal methods -- Specifications and their use in defining subtypes -- How firing conditions help...”

7 Table of Contents: “...Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely...”

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

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

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

11 “... methods can be effective and deployed in industrial-scale applications. Through fundamental contributions...”

12 “... in large-scale industrial software systems. His scientific contributions have been recognized through his...”

13 “... and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often...”