@book{48673,
	author = {Rierson, Leanna},
	title = {Developing safety-critical software :},
	publisher = {Taylor and Francis,},
	year = {c2013.},
	address = {New York :},
	note = {Includes bibliographical references and index.}
}