@inproceedings{CBSE-2003-MehlitzP,
	address       = "Portland, Oregon, USA",
	author        = "Peter C. Mehlitz and John J. Penix",
	booktitle     = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}",
	pages         = "10",
	title         = "{Design for Verification: Using Design Patterns to Build Reliable Systems}",
	year          = 2002,
}