An Analysis of the Correctness and Completeness of Aspect Weaving. - Günter Kniesel; Uwe Bardey (WCRE, 2006)