Emilia Katz Shmuel Katz Incremental analysis of interference among aspects. 29-38 2008 FOAL http://doi.acm.org/10.1145/1394496.1394500 conf/foal/2008 db/conf/foal/foal2008.html#KatzK08