@InProceedings{dl4uml,
  author = 	 {Greg O'Keefe},
  year = 	 2006,
  title = 	 {Dynamic Logic for {UML} Consistency},
  booktitle = 	 {ECMDA-FA, European Conference on Model Driven Architecture},
  series =	 {Lecture Notes in Computer Science},
  number =       4066,
  pages =        {113-127},
  publisher =	 {Springer}
}