@inproceedings{CBSE-2003-Heineman,
	address       = "Portland, Oregon, USA",
	author        = "George T. Heineman",
	booktitle     = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}",
	pages         = "9",
	title         = "{Integrating Interface Assertion Checkers into Component Models}",
	year          = 2002,
}