Lectures on Formal Methods and Performance Analysisby Ed Brinksma, Holger Hermanns, Joost-Pieter KatoenWriting a summary for young readers…For young readersBook data: Open Library