Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications | IEEE Conference Publication | IEEE Xplore