@InProceedings{Hatcliff-al:icse03,
  author = 	 {{J}ohn {H}atcliff and {X}inghua {D}eng and {M}atthew {B.} {D}wyer and {G}eorg {J}ung and {V}enkatesh {P}rasad {R}anganath},
  title = 	 {Cadena: an integrated development, analysis, and verification environment for component-based systems},
  crossref =	 {conf/icse/2003},
  booktitle =	 {ICSE 2003},
  pages = 	 {160-173},
  year = 	 {2003},
  volume = 	 {841},
  series = 	 {ACM},
  month = 	 {May},
  organization = {IEEE Computer Society},
  isbn = 	 {0-7695-1877-X}
}

@Proceedings{conf/icse/2003,
  title = 	 {Proceedings of the 25th international conference on Software engineering},
  year = 	 {2003},
  month =	 {May},
  booktitle =	 {ICSE},
  editor = 	 {Lori Clarke and Laurie Dillon and Walter Tichy},
  series =	 {ACM}
  volume = 	 {841},
  address = 	 {Washington, DC, USA},
  organization = {IEEE Computer Society},
  isbn =	 {0-7695-1877-X},
}