Flexible Aspect-Oriented Design Model Checking.

Wuwei Shen W. Eric Wong Flexible Aspect-Oriented Design Model Checking. 537-544 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.14 conf/apsec/2008 db/conf/apsec/apsec2008.html#ShenW08