Using Aspect-GAMMA in the design of embedded systems | IEEE Conference Publication | IEEE Xplore