Raffi Khatchadourian Johan Dovland Neelam Soundarajan Enforcing behavioral constraints in evolving aspect-oriented programs. 19-28 2008 FOAL http://doi.acm.org/10.1145/1394496.1394499 conf/foal/2008 db/conf/foal/foal2008.html#KhatchadourianDS08