Formal Methods for Industrial Critical Systems - Kim Guldstrand Larsen, Tim Willemse (Springer, 2019)