Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.