Formal Methods for Industrial Critical Systems - Núñez; Güdemann, Matthias (Springer International Publishing, 2015)