@inproceedings{szlenk_2006, 
  title={Formal Semantics and Reasoning about UML Class Diagram}, 
  DOI={10.1109/depcos-relcomex.2006.27}, 
  publisher={IEEE}, 
  author={Szlenk}, 
  year={2006}
  }