Formal Methods for Industrial Critical Systems - Lang (Springer International Publishing, 2014)