@inproceedings{
  Lau&Ukis:06,
  title = "Defining and Checking Deployment Contracts for Software Components",
  author = "K.-K. Lau and V. Ukis",
  booktitle = "Proc. 9th Int. Symp. on Component-based Software 
              Engineering, LNCS 4063",
  editors = "I. {Gorton  \emph{et al.}}",
  pages = "1-16",
  year = "2006"    }