Kirkegaard, C.; Møller, A. Static Analysis for Java Servlets and JSP. BRICS 2006, 13.