Formal Methods for Industrial Critical Systems | 9780470876183 | Memmo