@InCollection{Reussner03a,
  author = {Ralf H. Reussner and Iman H. Poernomo and Heinz W. Schmidt},
  title  = {Reasoning about Software Architectures with Contractually Specified Components},
  pages  = {287--325},
  booktitle = {Component-Based Software Quality: Methods and Techniques},
  editor    = {A. Cechich and M. Piattini and A. Vallecillo},
  publisher = {Springer},
  series    = {LNCS},
  volume    = 2693,
  year      = 2003
}