@inproceedings{CBSE-2002-AguirreM,
	address       = "Orlando, Florida, USA",
	author        = "Nazareno Aguirre and Thomas Maibaum",
	booktitle     = "{Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly}",
	pages         = "11",
	title         = "{A Temporal Logic Approach to Component–Based System Specification and Reasoning}",
	year          = 2002,
}