J. Jász, “Static Execute After algorithms as alternatives for impact analysis”, Period. Polytech. Elec. Eng., vol. 52, no. 3-4, pp. 163–176, Jan. 2008.