Eunjee Song, Nathan V. Roberts. Verifiable Aspect Composition in UML Models. In Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan. pages 201-202, IEEE Computer Society, 2008. [doi]
Abstract is missing.