An Approach for Mapping the Aspect State Models to Aspect-Oriented Code | IEEE Conference Publication | IEEE Xplore