Formal Methods for Industrial Critical Systems - Alberto Lluch Lafuente, Anastasia Mavridou (Springer, 2021)