Model Checking Softwareby Vincenzo Ciancia, Arnd HartmannsWriting a summary for young readers…For young readersBook data: Open Library