@InCollection{Sendall:2002:inOCL, author = "Shane Sendall and Alfred Strohmeier", title = "Using {OCL} and {UML} to Specify System Behavior", booktitle = "Object Modeling with the OCL: The Rationale behind the Object Constraint Language", publisher = "Springer", year = "2002", editor = "Tony Clark and Jos Warmer", pages = "250--279", isbn = "3-540-43169-1", }