Formal Methods for Industrial Critical Systems - Dierkes, Michael; Pecheur, Charles; Pecheur, Charles (Springer Berlin Heidelberg, 2013)