@standard{OCL24,
  author = {{Object Management Group}},
  title = {{Object Constraint Language (OCL). Version 2.4}},
  note = {\url{http://www.omg.org/spec/OCL/2.4/}},
  month = feb,
  year = 2014
}

@article{Featherweight_OCL-AFP,
  author  = {Achim D. Brucker and Frédéric Tuong and Burkhart Wolff},
  title   = {Featherweight {OCL}: A Proposal for a Machine-Checked Formal Semantics for {OCL} 2.5},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2014,
  note    = {\url{http://isa-afp.org/entries/Featherweight_OCL.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@inproceedings{DBLP:conf/models/Willink15,
  author    = {Edward D. Willink},
  title     = {Safe Navigation in {OCL}},
  booktitle = {Proceedings of the 15th International Workshop on {OCL} and Textual
               Modeling co-located with 18th International Conference on Model Driven
               Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
               28, 2015.},
  pages     = {81--88},
  year      = {2015},
  crossref  = {DBLP:conf/models/2015ocl},
  url       = {http://ceur-ws.org/Vol-1512/paper07.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/Willink15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/models/2015ocl,
  editor    = {Achim D. Brucker and
               Marina Egea and
               Martin Gogolla and
               Fr{\'{e}}d{\'{e}}ric Tuong},
  title     = {Proceedings of the 15th International Workshop on {OCL} and Textual
               Modeling co-located with 18th International Conference on Model Driven
               Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
               28, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1512},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1512},
  urn       = {urn:nbn:de:0074-1512-6},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2015ocl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}