Klaus Ostermann Reasoning about aspects with common sense. 48-59 2008 AOSD http://doi.acm.org/10.1145/1353482.1353489 conf/aosd/2008 db/conf/aosd/aosd2008.html#Ostermann08