Formal Methods for Industrial Critical Systemsby Jan Friso Groote, Marieke HuismanWriting a summary for young readers…For young readersBook data: Open Library