Formal Methods for Industrial Critical Systems - Lang; Flammini, Francesco; Lang, édéric (Springer International Publishing, 2014)