Møller, A. Static Analysis for Event-Based XML Processing. BRICS 2008, 15.