Tree Automata -- Foundations for the Run-Time Monitoring of Reactive Systems -