Formal Methods for Industrial Critical Systems - Howar, Falk (Springer International Publishing, 2020)