Hridesh Rajan Gary T. Leavens Robert Dyer 0001 Mehdi Bagherzadeh Modularizing crosscutting concerns with Ptolemy. 61-62 2011 AOSD (Companion) http://doi.acm.org/10.1145/1960314.1960332 conf/aosd/2011c db/conf/aosd/aosd2011c.html#RajanLDB11