@InProceedings{Giese+2004,
  AUTHOR = {Giese, Holger and Tichy, Matthias and Schilling, Daniela},
  TITLE = {{Compositional Hazard Analysis of UML Component and Deployment
  Models}},
  YEAR = {2004},
  MONTH = {September},
  BOOKTITLE = {Proc. of the 23rd International Conference on Computer
  Safety, Reliability and Security (SAFECOMP), Potsdam, Germany},
  VOLUME = {3219},
  EDITOR = {Heisel, Maritta and Liggesmeyer, Peter and Wittmann, S.},
  SERIES = {Lecture Notes in Computer Science (LNCS)},
  PUBLISHER = {Springer Verlag},
  URL =
  {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2004/SAFECOMP2004.pdf},
  ABSTRACT = {The general trend towards complex technical systems with
  embedded software results in an increasing demand for dependable high
  quality software. The UML as an advanced object-oriented technology
  provides in principle the essential concepts which are required to
  handle the increasing complexity of these safety-critical software
  systems. However, the current and forthcoming UML versions do not
  directly apply to the outlined problem. Available hazard analysis
  techniques on the other hand do not provide the required degree of
  integration with software design notations. To narrow the gap between
  safety-critical system development and UML techniques, the presented
  approach supports the compositional hazard analysis of UML models
  described by restricted component and deployment diagrams. The approach
  permits to systematically identify which hazards and failures are most
  serious, which components or set of components require a more detailed
  safety analysis, and which restrictions to the failure propagation
  are assumed in the UML design.},
  ANNOTE = {AREA : ag-schaefer}
}