@inproceedings{CBSE-2001-FislerKB,
	address       = "Toronto, Canada",
	author        = "Kathi Fisler and Shriram Krishnamurthi and Don S. Batory",
	booktitle     = "{Proceedings of the Fourth International Workshop on Component-Based Software Engineering: Component Certification and System Prediction}",
	pages         = "17",
	title         = "{Verifying Component-Based Collaboration Designs}",
	year          = 2001,
}