Takashi Ishio Shinji Kusumoto Katsuro Inoue Toshihiro Kamiya Aspect-Oriented Modularization of Assertion Crosscutting Objects. 744-751 2005 conf/apsec/2005 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.43 db/conf/apsec/apsec2005.html#IshioKIK05