Title: Journey from Process Algebra Via Timed Automata to Model Learning