Formal Methods for Industrial Critical Systems - Jan Friso Groote, Marieke Huisman (Springer, 2022)