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