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