A Journey from Process Algebra via Timed Automata to Model Learning