@book{75887,
	author = {Rierson, Leanna},
	title = {Developing safety-critical software :},
	publisher = {CRC Press, Taylor & Francis Group,},
	year = {2013},
	address = {Boca Raton :}
}