@inproceedings{CBSE-2001-GiannakopoulouP,
	address       = "Toronto, Canada",
	author        = "Dimitra Giannakopoulou and John Penix",
	booktitle     = "{Proceedings of the Fourth International Workshop on Component-Based Software Engineering: Component Certification and System Prediction}",
	pages         = "23",
	title         = "{Component Verification and Certification in NASA Missions}",
	year          = 2001,
}