To cite su4sml, please use

  Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting 
  OCL. In Electronic Communications of the EASST, 5, 2006.
  (doi:10.14279/tuj.eceasst.5.45)[http://dx.doi.org/10.14279/tuj.eceasst.5.45)

A BibTeX entry for LaTeX user is

@Article{	  brucker.ea:mda:2006-b,
  abstract	= {We present an MDA framework, developed in the functional
		  programming language SML, that tries to bridge the gap
		  between formal software development and the needs of
		  industrial software development, e.g., code generation.
		  Overall, our tool-chain provides support for software
		  modeling using UML/OCL and guides the user from
		  type-checking and model transformations to code generation
		  and formal analysis of the UML/OCL model. We conclude with
		  a report on our experiences in using a functional language
		  for implementing MDA tools.},
  author	= {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
  doi		= {10.14279/tuj.eceasst.5.45},
  editor	= {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos
		  Warmer},
  issn		= {1863-2122},
  journal	= {Electronic Communications of the EASST},
  keywords	= {MDE , MDA , OCL, model transformation, code-generation,
		  verification},
  language	= {USenglish},
  pdf		= {https://www.brucker.ch/bibliography/download/2006/brucker.ea-mda-2006-b.pdf},
  title		= {An {MDA} Framework Supporting {OCL}},
  url		= {https://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b},
  volume	= {5},
  year		= {2006}
}

