@inproceedings{CBSE-2003-InverardiT,
	address       = "Portland, Oregon, USA",
	author        = "Paola Inverardi and Massimo Tivoli",
	booktitle     = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}",
	pages         = "17",
	title         = "{A compositional synthesis of failure-free connectors for correct components assembly}",
	year          = 2002,
}