@book{125162,
	author = {National Research Council (U.S.). and Jackson, Daniel. and ebrary, Inc.},
	title = {Software for dependable systems},
	publisher = {National Academies Press,},
	year = {c2007.},
	address = {Washington, D.C. :},
	url = {http://site.ebrary.com/lib/strathmore/Doc?id=10194168}
}