@inproceedings{CBSE-2002-LiuR,
	address       = "Orlando, Florida, USA",
	author        = "Chang Liu and Debra J. Richardson",
	booktitle     = "{Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly}",
	pages         = "9",
	title         = "{Specifying Component Method Properties for Component State Recovery in RAIC}",
	year          = 2002,
}