@book{610400,
	author = {SMITH D./SIMPSON K.},
	title = {SAFETY CRITICAL SYSTEMS},
	publisher = {ELSEVIER },
	year = {2015},
	address = {DHELI},
	edition = {2015}
}