Formal Methods for Industrial Critical Systems by Mariëlle Stoelinga | Menrva Books | MenrvaBooks