Formal methods in software and systems modeling by Hartmut Ehrig | Menrva Books | MenrvaBooks