@InProceedings{Laengst:2002:WRKUMLCSD, author = "W. L{\"a}ngst and A. Lapp and K. Knorr and H.-P. Schneider and J. Schirmer and D. Kraft and W. Kiencke", title = "{CARTRONIC-UML} Models: Basis for Partially Automated Risk Analysis in Early Development Phases", pages = "3--18", booktitle = "Critical Systems Development with UML -- Proceedings of the UML'02 workshop", editor = "Jan J{\"u}rjens and Mar{\'\i}a Victoria Cengarle and Eduardo B. Fernandez and Bernhard Rumpe and Robert Sandner", publisher = "Technische Universit{\"a}t M{\"u}nchen, Institut f{\"u}r Informatik", year = "2002", }