@InProceedings{JdA+02:CSL,
  author = 	 {Arindam Chakrabarti and Luca de Alfaro and Thomas A. Henzinger and Marcin Jurdzi{\'{n}}ski and Freddy Mang},
  title = 	 {Interface Compatibility Checking for Software Modules}
  booktitle = 	 {Computer Aided Verification, 14th International
                  Conference, CAV 2002, Proceedings},
  pages = 	 {428--441},
  year = 	 {2002},
  editor = 	 {Ed Brinksma and Kim Guldstrand Larsen},
  volume = 	 {2404},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Copenhagen, Denmark},
  month = 	 {July},
  publisher =    {Springer-Verlag}
}