A Journey from Process Algebra via Timed Automata to Model Learning - Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (Springer, 2022)