@TechReport{KautzMaozRingertRumpe17,
  author      = "Oliver Kautz and Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe",
  title       = "CD2Alloy: A Translation of Class Diagrams to Alloy",
  institution = "RWTH Aachen",
  keywords    = "class diagram, alloy, semantics, object model, meta model, meta-model, EMF, model analysis, model differencing, model driven, model based",
  year        = "2017",
  number      = "AIB-2017-06",
  month       = jul,
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-06.ps.gz"
}