Formal Methods in Systems Engineering by Peter Y. A. Ryan | Menrva Books | MenrvaBooks