Formal Methods for Industrial Critical Systems - Larsen; Willemse, Tim (Springer International Publishing, 2019)