Møller, A. Static Analysis for Event-Based XML Processing. BRICS 2006, 13.