Verifying Aspect-Oriented Models against Crosscutting Properties. - Cui, Zhanqi; Wang, Linzhang; Liu, Xi; Bu, Lei; Zhao, Jianhua; Li, Xuandong (Int. J. Softw. Eng. Knowl. Eng., 2013)