Radha Jagadeesan Corin Pitcher James Riely Open bisimulation for aspects. 107-120 2007 conf/aosd/2007 AOSD http://doi.acm.org/10.1145/1218563.1218577 db/conf/aosd/aosd2007.html#JagadeesanPR07