@phdthesis{TUW-140984, author = {Feinerer, Ingo}, title = {A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management}, school = {E 185 Institut f{\"u}r Computersprachen}, year = {2007}, url = {http://publik.tuwien.ac.at/files/pub-inf_4582.pdf}, keywords = {Configuration management, Unified Modeling Language, Class diagrams} }