Alloy-Based Lightweight Verification for Aspect-Oriented Architecture | IEEE Conference Publication | IEEE Xplore