Control-Flow Analysis and Representation for Aspect-Oriented Programs | IEEE Conference Publication | IEEE Xplore