Clint Morgan Kris De Volder Eric Wohlstadter A static aspect language for checking design rules. 63-72 2007 conf/aosd/2007 AOSD http://doi.acm.org/10.1145/1218563.1218571 db/conf/aosd/aosd2007.html#MorganVW07