The object constraint language : precise modeling with UML - Warmer, Jos B. (Addison-Wesley, 1999)