Formal Methods for Industrial Critical Systems - Núñez (Springer International Publishing, 2015)