Theoretical and Practical Aspects of SPIN Model Checkingby Dennis Dams, Robert Gerth, Stefan Leue, Mieke MassinekWriting a summary for young readers…For young readersBook data: Open Library