@InProceedings{HeldalSchlagerBende04, author = {Rogardt Heldal and Steffen Schlager and Jakob Bende}, title = {{S}upporting {C}onfidentiality in {UML}: {A} {P}rofile for the {D}ecentralized {L}abel {M}odel}, booktitle = {Proceedings, 3rd International Workshop on Critical Systems Development with UML, Lisbon, Portugal}, address = {Munich, Germany}, pages = {56--70}, note = {TU Munich Technical Report TUM-I0415}, year = {2004} }