@inproceedings{CBSE-2002-SchmidtR,
	address       = "Orlando, Florida, USA",
	author        = "Heinz W. Schmidt and Ralf Reussner",
	booktitle     = "{Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly}",
	pages         = "6",
	title         = "{Parameterised Contracts and Adapter Synthesis}",
	year          = 2002,
}