Formal Methods for Industrial Critical Systems - Leue, Stefan (Springer Berlin Heidelberg, 2020)