Journey from Process Algebra Via Timed Automata to Model Learningby Nils Jansen, Mariëlle Stoelinga, Petra van den BosWriting a summary for young readers…For young readersBook data: Open Library