C. Kirkegaard and A. Møller, “Static Analysis for Java Servlets and JSP”, BRICS, vol. 13, no. 8, Apr. 2006.