@InCollection{Flake:2002:inOCL,
  author =       "Stephan Flake and Wolfgang Mueller",
  title =        "An {OCL} Extension for Real-Time Constraints",
  booktitle =    "Object Modeling with the OCL: The Rationale behind the
                  Object Constraint Language",
  publisher =    "Springer",
  year =         "2002",
  editor =       "Tony Clark and Jos Warmer",
  pages =        "150--171",
  isbn =         "3-540-43169-1",
}