A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday - Jansen, Nils (Springer, 2022)