@book{50025,
	author = {Berg, Clifford J.},
	title = {High-assurance design :},
	publisher = {Addison-Wesley,},
	year = {c2006},
	address = {Upper Saddle River, NJ :},
	url = {http://www.loc.gov/catdir/toc/ecip0515/2005018459.html}
}