Journey from Process Algebra Via Timed Automata to Model Learning | lit.salon