Formal Methods in Systems Engineeringby Peter Y. A. RyanWriting a summary for young readers…For young readersBook data: Open Library